Book

Calculi of Lambda Conversion. (AM-6), Volume 6

by Alonzo Church