TY  - RPRT
TI  - Lambda-calculus and Reversible Automatic Combinators
AU  - Alberto Ciaffaglione
AU  - Furio Honsell
AU  - Marina Lenisa
AU  - Ivan Scagnetto
PY  - 2018
UR  - https://arxiv.org/abs/1806.06759
ID  - 1806.06759
ER  -