conferences 7
- Approximation theory for distant Bang calculus
- Resource-Aware Hybrid Quantum Programming with General Recursion and Quantum Control
- 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)