We condense the theory of blockchains down to a simple and compact set o...
We implement two versions of a simple but paradigmatic smart contract: o...
We propose Equivariant ZFA with Choice as a foundation for nominal techn...
We give an accessible presentation to the foundations of nominal techniq...