publication venue for
- How to Bake a Quantum Π. 8:1-29. 2024
- With a Few Square Roots, Quantum Computing Is as Easy as Pi. 8:546-574. 2024
- Symmetries in reversible programming: from symmetric rig groupoids to reversible programming languages. 6:1-32. 2022
- A computational interpretation of compact closed categories: reversible programming with negative and fractional types. 5:1-29. 2021
- From high-level inference algorithms to efficient code. 3:1-30. 2019