TY  - RPRT
TI  - Coalgebraic Tools for Randomness-Conserving Protocols
AU  - Dexter Kozen
AU  - Matvey Soloviev
PY  - 2021
UR  - https://arxiv.org/abs/1807.02735
ID  - 1807.02735
ER  -