APA (7th ed.) Citation

Henk Barendregt, W. D. (2013). Lambda Calculus with Types (1.). Cambridge University Press.

Chicago Style (17th ed.) Citation

Henk Barendregt, Wil Dekkers. Lambda Calculus with Types. 1. Cambridge University Press, 2013.

MLA (8th ed.) Citation

Henk Barendregt, Wil Dekkers. Lambda Calculus with Types. 1. Cambridge University Press, 2013.

Warning: These citations may not always be 100% accurate.