[1] S. Abramsky and A. Jung, Domain Theory, in "Handbook of logic in computer science", vol. 3, 1/168, Oxford University Press, New York, 1994.

[2] L. Addison, A practical introduction to denotational semantics, Cambridge University Press, 1986.

[3] R. Amadio and P.-L. Curien, Domains and Lambda Calculi, Cambridge University Press, Cambridge, 1998.

[4] A. Asperti and S. Guerrini, The optimal Implementation of Functional Programming Languages, Cambridge University Press, Cambridge Tracts in Th. Comp. Sc., 1998.

[5] A. Asperti and G. Longo, Categories, Types, and Structures. An introduction to Category Theory for the Working Computer Scientist, MIT Press, 1991.

[6] H. Barendregt, The lambda-calculus, its syntax and semantics, North-Holland, 1984.

[7] L. Cardelli, Compiling a functional language, in "Proc. ACM Symposium on Lisp and Functional Programming", 1984.

[8] J. Gallier, Constructive Logics. Part I: A Tutorial on Proof Systems and Typed lambda-Calculi, "Theoretical Computer Science", 110/2, 1993, pp. 249-239.

[9] J. Gallier, Constructive Logics. Part II: Linear Logic and Proof Nets, Technical Report, CIS Department, University of Pennsylvania, 1991.

[10] J.-Y. Girard, Y. Lafont, and P. Taylor, Proofs and types, Cambridge University Press, Cambridge Tracts in Th. Comp. Sc., 1989.

[11] R. Hindley and P. Seldin, Introduction to Combinators and Lambda-calculus, Cambridge University Press 1986.

[12] R. Hindley, Basic Simple Type Theory, Cambridge University Press, 1995.

[18] J.-L. Krivine, Lambda-calcul, types et modèles, Masson, Etudes et Recherches en Informatique, 1990.

[13] Z. Manna, Mathematical theory of computation, McGraw-Hill, 1974.

[14] J.C. Mitchell, Type systems for programming languages, in "Handbook of Theoretical Computer Science", North-Holland, 1990.

[15] S.L. Peyton-Jones, The Implementation of Functional Programming Languages, Prentice-Hall, Englewood Cliffs, 1987.

[16] S.L. Peyton-Jones and J. Lester, Implementing functional languages: a tutorial, Prentice-Hall, Englewood Cliffs, 1992.

[17] G. Plotkin, The Pisa lecture notes, http://www.dcs.ed.ac.uk/home/ gdp/publications/Domains.ps.gz

[19] A.S. Troelstra, Lectures on Linear Logic, CSLI Lecture Notes, 1992.

[20] A.S. Troelstra and H. Schwichtenberg, Basic Proof Theory, Cambridge University Press, 2nd rev. ed., 2000.

[21] G. Winskel, The formal semantics of programming languages, MIT Press, 1993.