conferences 5
- Semantics for a Turing-Complete Reversible Programming Language with Inductive Types
- A Curry-Howard Correspondence for Linear, Reversible Computation
- Categorical Semantics of Reversible Pattern-Matching
- Geometry of Interaction for ZX-Diagrams
- Toward a Curry-Howard Equivalence for Linear, Reversible Computation (Work In Progress)