TY  - RPRT
TI  - Algebras of UTxO blockchains
AU  - Murdoch J. Gabbay
PY  - 2021
DO  - 10.1017/s0960129521000438
UR  - https://arxiv.org/abs/2007.12404
ID  - 2007.12404
ER  -