1. Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic;Logical Methods in Computer Science;2023-12-14
2. Implicit computation complexity in higher-order programming languages;Mathematical Structures in Computer Science;2022-03-15
3. Polynomial time in untyped elementary linear logic;Theoretical Computer Science;2020-04
4. Algebras and coalgebras in the light affine Lambda calculus;Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming;2015-08-29
5. Proof-Theoretic Semantics and Feasibility;Logic, Epistemology, and the Unity of Science;2014