Lambda calculus with types - Barendregt, H. P. (Cambridge University Press, 2013)
"Association for Symbolic Logic."