An Analysis of Girard's Paradox, LICS, pp.227-236, 1986. ,
Extraction in Coq: An Overview, " in CiE, ser. Lecture Notes in Computer Science, pp.359-369, 2008. ,
Parametricity and dependent types, 2010. ,
DOI : 10.1145/1932681.1863592
URL : http://openaccess.city.ac.uk/13223/1/pts.pdf
Types, Abstraction and Parametric Polymorphism, IFIP Congress, pp.513-523, 1983. ,
Inductive definitions in the system coq rules and properties, " in Typed Lambda Calculi and Applications, ser. Lecture Notes in Computer Science, pp.328-345, 1993. ,
Theorems for free!, Proceedings of the fourth international conference on Functional programming languages and computer architecture , FPCA '89, 1989. ,
DOI : 10.1145/99370.99404
Generic Proof Tools and Finite Group Theory, 2011. ,
URL : https://hal.archives-ouvertes.fr/pastel-00649586