Lambda calculus with types - Barendregt, H. P. (Hendrik Pieter); Dekkers, Wil.; Statman, Richard (Cambridge ; New York : Cambridge University Press, 2013)
"Association for Symbolic Logic."
Incluye referencias bibliográficas (pages 791-813) e índice.
Keywords: Lambda calculus