Cita APA (7a ed.)

Krivine, J. L. (1993). Lambda-calculus, types and models. Masson ; Ellis Horwood.

Cita Chicago Style (17a ed.)

Krivine, J. L. Lambda-calculus, Types and Models. Paris : Hemel Hempstead: Masson ; Ellis Horwood, 1993.

Cita MLA (9a ed.)

Krivine, J. L. Lambda-calculus, Types and Models. Masson ; Ellis Horwood, 1993.