Barendregt, H. P., Dekkers, W., & Statman, R. (2013). Lambda Calculus with Types (1. publ.). Cambridge Univ. Press.
Chicago-Zitierstil (17. Ausg.)Barendregt, Hendrik P., Wil Dekkers, und Richard Statman. Lambda Calculus with Types. 1. publ. Cambridge [u.a.]: Cambridge Univ. Press, 2013.
MLA-Zitierstil (9. Ausg.)Barendregt, Hendrik P., et al. Lambda Calculus with Types. 1. publ. Cambridge Univ. Press, 2013.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.