APA (7th ed.) Citation

Barendregt, H. P., Dekkers, W., & Statman, R. (2013). Lambda Calculus with Types (1. publ.). Cambridge Univ. Press.

Chicago Style (17th ed.) Citation

Barendregt, Hendrik P., Wil Dekkers, and Richard Statman. Lambda Calculus with Types. 1. publ. Cambridge [u.a.]: Cambridge Univ. Press, 2013.

MLA (9th ed.) Citation

Barendregt, Hendrik P., et al. Lambda Calculus with Types. 1. publ. Cambridge Univ. Press, 2013.