Lambda-calculus, types and models /
Krivine, J. L.(Jean Louis)
Hemel Hempstead : Ellis Horwood,
1993.
Includes bibliographical references and index.
Lambda calculus.