39 citations · 134 across the 20 of their papers we have counts for
1 paper · 2 filters
Jacques Carette, Chao-Hong Chen, Vikraman Choudhury +1
We establish a close connection between a reversible programming language based on type isomorphisms and a formally presented univalent universe. The correspondence relates combina…