TY  - RPRT
TI  - From Reversible Programs to Univalent Universes and Back
AU  - Jacques Carette
AU  - Chao-Hong Chen
AU  - Vikraman Choudhury
AU  - Amr Sabry
PY  - 2017
DO  - 10.1016/j.entcs.2018.03.013
UR  - https://arxiv.org/abs/1708.02710
ID  - 1708.02710
ER  -