Abstract, Journal of Functional Programming, vol.34, issue.04, pp.375-416, 1991. ,
DOI : 10.1016/0304-3975(86)90035-6
On the Original Gentzen Consistency Proof for Number Theory, in Intuitionism and Proof Theory, Kino, Myhill & Vesley eds, pp 409-417. Original proof printed in the The Collected Papers of Gerhard Gentzen by, 1969. ,
A semantics of evidence for classical arithmetic, First version in: Proceedings of the CLICS workshop, pp.325-337, 1992. ,
DOI : 10.1007/BFb0079691
Extension de l'isomorphisme de Curry-Howard au traitement des exceptions (application d'une etude de la dualit e en logique intuitionniste), th ese de doctorat, 1996. ,
Game semantics and abstract machines, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, pp.394-405, 1996. ,
DOI : 10.1109/LICS.1996.561456
Dialogues as a Foundation of Intuitionistic Logic, Handbook of Philosophical Logic, pp.341-372, 1986. ,
Functional Back-Ends within the Lambda- Sigma Calculus, Proceedings, International Conference on Functional Programming (ICFP'96), pp.25-33, 1996. ,
URL : https://hal.archives-ouvertes.fr/inria-00073659
on calcule: de l'interpr etation du calcul des s equents comme calcul de -termes et comme calcul de strat egies gagnantes, 1995. ,
On Full Abstraction for PCF, submitted ,
The ZINC Experiment, 1990. ,
URL : https://hal.archives-ouvertes.fr/inria-00070049
Arithmetik und Logik als Spiele, Dissertation, 1961. ,
A Semantic View of Classical Proofs, Proceedings, 11th Annual IEEE Symposium on Logic in Computer Science (LICS'96), pp.230-241, 1996. ,
????-Calculus: An algorithmic interpretation of classical natural deduction, Springer Lecture Notes in Computer Sciences, vol.624, pp.190-201 ,
DOI : 10.1007/BFb0013061