1. 10 Years of the Higher-Order Model Checking Project (Extended Abstract);Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019;2019-10-07
2. Intersection Types for Unboundedness Problems;Electronic Proceedings in Theoretical Computer Science;2019-04-23
3. Quantitative Types: From Foundations to Applications;Electronic Proceedings in Theoretical Computer Science;2019-04-23
4. Intersection Types and Counting;Electronic Proceedings in Theoretical Computer Science;2017-02-07
5. A characterization of lambda-terms transforming numerals;Journal of Functional Programming;2016