1. Some Remarks About Dependent Type Theory;The French School of Programming;2023-10-11
2. Self-contradictory Reasoning;Advances in Proof-Theoretic Semantics;2015-10-25
3. Bibliography;Lectures on the Curry-Howard Isomorphism;2006
4. Second-order logic polymorphism;Lectures on the Curry-Howard Isomorphism;2006
5. An Extension of Gentzen’s Analysis of Logical Deduction to Second-Order Logic;Philosophical Logic and Logical Philosophy;1996