TY  - RPRT
TI  - Properties of UTxO Ledgers and Programs Implemented on Them
AU  - Polina Vinogradova
AU  - Alexey Sorokin
PY  - 2025
DO  - 10.4204/eptcs.421.1
UR  - https://arxiv.org/abs/2506.05832
ID  - 2506.05832
ER  -