1. YACC: Yet Another Church Calculus;Lecture Notes in Computer Science;2024
2. Principality and approximation under dimensional bound;Proceedings of the ACM on Programming Languages;2019-01-02
3. On Intersection Types and Probabilistic Lambda Calculi;Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming;2018-09-03
4. Tight typings and split bounds;Proceedings of the ACM on Programming Languages;2018-07-30
5. Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search;Mathematical Structures in Computer Science;2018-04-17