1. Higher Order Bayesian Networks, Exactly;Proceedings of the ACM on Programming Languages;2024-01-05
2. Scoped Effects as Parameterized Algebraic Theories;Lecture Notes in Computer Science;2024
3. The Benefits of Diligence;Lecture Notes in Computer Science;2024
4. Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic;Logical Methods in Computer Science;2023-12-14
5. Semantics for a Lambda Calculus for String Diagrams;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023