This paper adds native multicurrency features to the basic UTxO ledger model.
To appear at ISoLA 2020.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
This paper adds native multicurrency features to the basic UTxO ledger model.
To appear at ISoLA 2020.