54 citations · 90 across the 12 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.PL2021★ 11 cited
Symmetries in Reversible Programming: From Symmetric Rig Groupoids to Reversible Programming Languages
Vikraman Choudhury, Jacek Karwowski, Amr Sabry
The family of reversible programming languages for boolean circuits is presented as a syntax of combinators witnessing type isomorphisms of algebraic datatypes. In this…
cs.LO2021★ 4 cited
Free Commutative Monoids in Homotopy Type Theory
Vikraman Choudhury, Marcelo Fiore
We develop a constructive theory of finite multisets in Homotopy Type Theory, defining them as free commutative monoids. After recalling basic structural properties of the free com…