Hendrik Pieter Barendregt, Wil Dekkers, Richard Statman. Lambda Calculus with Types. Perspectives in logic, Cambridge University Press, 2013. [doi]
@book{0032840,
title = {Lambda Calculus with Types},
author = {Hendrik Pieter Barendregt and Wil Dekkers and Richard Statman},
year = {2013},
url = {http://www.cambridge.org/de/academic/subjects/mathematics/logic-categories-and-sets/lambda-calculus-types},
researchr = {https://researchr.org/publication/0032840},
cites = {0},
citedby = {0},
series = {Perspectives in logic},
publisher = {Cambridge University Press},
isbn = {978-0-521-76614-2},
}