The Calculi of Lambda-Conversion. Volume 6 of Annals of Mathematical Studies (1985)

by A Church