1. Genericity Through Stratification;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. The Benefits of Diligence;Lecture Notes in Computer Science;2024
3. Light Genericity;Lecture Notes in Computer Science;2024
4. Sharing a Perspective on the -Calculus;Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2023-10-18
5. The bang calculus revisited;Information and Computation;2023-08