The Lambda Calculus – Its Syntax and Semantics, volume 103 of (1984)

by Hendrik Pieter Barendregt