A Term Calculus for Unitary Approach to Nomalization
Abstract
No abstract available.
Related papers
- Quantum Circuits Are Just a Phase POPL 2026
- A Case for Synthesis of Recursive Quantum Unitary Programs POPL 2024
- How to Bake a Quantum Π ICFP 2024
- Interprocedural compatibility analysis for static object preallocation POPL 2003
- An error-tolerant type system for variational lambda calculus ICFP 2012
- Term Graph Rewriting for the pi-Calculus APLAS 2003
- Counting and generating terms in the binary lambda calculus JFP 2015
- Strong Normalisation for the Linear Term Calculus JFP 1995