1. Practical normalization by evaluation for EDSLs;Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell;2021-08-18
2. Normalisation by Completeness with Heyting Algebras;Logic for Programming, Artificial Intelligence, and Reasoning;2015
3. Type Directed Partial Evaluation for Level-1 Shift and Reset;Electronic Proceedings in Theoretical Computer Science;2013-09-04
4. Polarized Classical Non-associative Lambek Calculus and Formal Semantics;Logical Aspects of Computational Linguistics;2011
5. Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus;Logic, Language, Information and Computation;2009