2 papers
cs.LO2020
UTxO- vs account-based smart contract blockchain programming paradigms
Lars Brunjes, Murdoch J. Gabbay
We implement two versions of a simple but illustrative smart contract: one in Solidity on the Ethereum blockchain platform, and one in Plutus on the Cardano platform, with annotate…
cs.LO2018
Equivariant ZFA with Choice: a position paper
Murdoch J. Gabbay
We propose Equivariant ZFA with Choice as a foundation for nominal techniques that is stronger than ZFC and weaker than FM, and why this may be particularly helpful in the context…