References

1

P. BAILLOT, V. DANOS, T. EHRHARD, L. REGNIER. Believe it or not, AJM's games model is a model of Classical Linear Logic, 1997, proceedings of LICS'97, IEEE, pp. 68-75.

2

P. BAILLOT, V. DANOS, T. EHRHARD, L. REGNIER.(1998) Timeless Games, 1998, proceedings CSL'97, Springer LNCS 1414, Mogens Nielsen and Wolfgang Thomas eds., pp. 56-77.

3

V. DANOS, H. HERBELIN, L. REGNIER. Game Semantics and Abstract Machines., 1996, proceedings of LICS'96, IEEE, pp. 394-405.

4

V. DANOS, J.-B. JOINET. Elementary Recursive Functions in Linear Logic, 1999, Communication to the ``International Workshop on Implicit Computational Complexity'', ICC'99. To appear in Information and Computation.

5

V. DANOS, J.-B. JOINET, H. SCHELLINX. A new deconstructive logic: Linear Logic, 1996, Jour. of Symb. Logic, 62:755-807.

6

V. DANOS. Sequent Calculus and Continuation Passing Style Compilation, 1999, to appear in the Proceedings of the 11th Congress of Logic, Methodology and Philosophy of Science, held in Cracow, Kluwer.

7

J.L. KRIVINE. Une preuve formelle et intuitionniste du théorème de complétude de la logique classique, dec. 1996, Bull. Symb. Log., Vol. 2, n$^\circ$ 4, p. 405-421.

8

J.L. KRIVINE. Théorie des ensembles, 1998, Cassini, Paris, 273 p.

9

J.L. KRIVINE. Typed lambda-calculus in classical Zermelo-Frænkel set theory. To appear in Archiv for Math. Logic.

10

M. PARIGOT. $\lambda\mu$-calculus: an algorithmic interpretation of classical natural deduction, LPAR'92, Saint Petersburg (Russie) 1992, Lecture Notes in Computer Science, vol 624, pp 190-201.

11

M. PARIGOT. Strong Normalisation Proofs for Classical Logic, 1997, Journal of Symbolic Logic, vol 62 (4), 1461-1479.

12

C. RAFFALLI. A semantical storage operator theorem for all types, Annals of Pure and Applied Logic, 1998, Vol 91, p17-31

13

C. RAFFALLI. Completeness, minimal logic and programs extraction, 1998, to appear in TCS.

14

C. RAFFALLI. System F-eta</em>, 1998, LAMA, Preprint n° 98-05

15

C. RAFFALLI. An optimized complete semi-algorithm for system F-eta, 1999

16

C. RAFFALLI. The proof assistant AF2, version 0.5, 1999