1. Folding interpretations;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
2. Probabilistic Termination by Monadic Affine Sized Typing;ACM Transactions on Programming Languages and Systems;2019-06-21
3. Characterizingco-NLby a group action;Mathematical Structures in Computer Science;2014-12-05
4. On context semantics and interaction nets;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14
5. Context semantics, linear logic, and computational complexity;ACM Transactions on Computational Logic;2009-08