Lambda calculus with types /
Barendregt, H. P.(Hendrik Pieter),author.
Dekkers, Wil,author.
Statman, Richard,author.
Alessi, Fabio,contributor.
Association for Symbolic Logic.
Includes bibliographical references and indexes.
Lambda calculus.