1. Making Concurrency Functional;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
2. The Geometry of Causality: Multi-token Geometry of Interaction and Its Causal Unfolding;Proceedings of the ACM on Programming Languages;2023-01-09
3. Multi types and reasonable space;Proceedings of the ACM on Programming Languages;2022-08-29
4. Reasonable Space for the λ-Calculus, Logarithmically;Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science;2022-08-02
5. Embracing the laws of physics: Three reversible models of computation;Advances in Computers;2022