1. The Essence of Generalized Algebraic Data Types;Proceedings of the ACM on Programming Languages;2024-01-05
2. Semantic analysis of normalisation by evaluation for typed lambda calculus;Mathematical Structures in Computer Science;2022-09
3. Normalization for Multimodal Type Theory;Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science;2022-08-02
4. Normalization by Evaluation for the Lambek Calculus;Electronic Proceedings in Theoretical Computer Science;2022-04-14
5. Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding;Mathematical Structures in Computer Science;2022-04