research
∙
07/24/2020
What is an EUTxO blockchain?
We condense the theory of blockchains down to a simple and compact set o...
share
research
∙
03/31/2020
UTxO- vs account-based smart contract blockchain programming paradigms
We implement two versions of a simple but paradigmatic smart contract: o...
research
∙
03/23/2018
Equivariant ZFA with Choice: a position paper
We propose Equivariant ZFA with Choice as a foundation for nominal techn...
research
∙
01/29/2018