1. Dilations and information flow axioms in categorical probability;Mathematical Structures in Computer Science;2023-10-25
2. An Adequate While-Language for Hybrid Computation;Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019;2019-10-07
3. Formalizing Constructive Cryptography using CryptHOL;2019 IEEE 32nd Computer Security Foundations Symposium (CSF);2019-06
4. Disintegration and Bayesian inversion via string diagrams;Mathematical Structures in Computer Science;2019-03-13
5. Dialectica models of type theory;Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science;2018-07-09