Bibliography

1

Jean-Louis Krivine.
Lambda-Calcul : Types et Modèles.
Etudes et Recherches en Informatique. Masson, 1990.
Available now in english version.

2

Jean-Louis Krivine and Michel Parigot.
Programming with proofs.
Inf. Process. Cybern., EIK 26(3):149-167, 1990.

3

Michel Parigot.
Programming with proofs: a second order type theory.
Lecture Notes in Computer Science, 300, 1988.
Communication at ESOP 88.

4

Michel Parigot.
-calculus: an algorithmic interpretation of classical natural deduction.
Proc. International Conference on Logic Programming and Automated Deduction, StPetersburg (Russia):190-201, 1992.

5

Christophe Raffalli and René David.
Apprentissage du raisonnement assité par ordinateur.
Prépublication 01-09c du LAMA, 2001.

6

F. P. Ramsey.
The foundations of mathematics.
The Foundations of Mathematics:1-61, 1925.