Book

Calculi of Lambda Conversion

by Alonzo Church