1. The Far Side of the Cube;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023
2. Differentials and distances in probabilistic coherence spaces;Logical Methods in Computer Science;2022-08-08
3. Full Abstraction for Probabilistic PCF;Journal of the ACM;2018-08-16
4. Non-angelic Concurrent Game Semantics;Lecture Notes in Computer Science;2018
5. Slot Games for Detecting Timing Leaks of Programs;Electronic Proceedings in Theoretical Computer Science;2013-07-16