APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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