1. The Relational Machine Calculus;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. Quantum Suplattices;Electronic Proceedings in Theoretical Computer Science;2023-08-30
3. Proto-Quipper with Dynamic Lifting;Proceedings of the ACM on Programming Languages;2023-01-09
4. Semantics for a Lambda Calculus for String Diagrams;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023
5. Semantics of quantum programming languages: Classical control, quantum control;Journal of Logical and Algebraic Methods in Programming;2022-08