APA (7th ed.) Citation

Barendregt, H., Dekkers, W., & Statman, R. (2013). Lambda Calculus with Types.

Chicago Style (17th ed.) Citation

Barendregt, Henk, Wil Dekkers, and Richard Statman. Lambda Calculus with Types. 2013.

MLA (9th ed.) Citation

Barendregt, Henk, et al. Lambda Calculus with Types. 2013.

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