TY  - RPRT
TI  - Girard's $!()$ as a reversible fixed-point operator
AU  - Peter Hines
PY  - 2013
UR  - https://arxiv.org/abs/1309.0361
ID  - 1309.0361
ER  -