TY  - RPRT
TI  - Recalling a Witness: Foundations and Applications of Monotonic State
AU  - Danel Ahman
AU  - Cédric Fournet
AU  - Catalin Hritcu
AU  - Kenji Maillard
AU  - Aseem Rastogi
AU  - Nikhil Swamy
PY  - 2017
UR  - https://arxiv.org/abs/1707.02466
ID  - 1707.02466
ER  -