TY  - BOOK
AU  - Church, Alonzo
TI  - Calculi of lambda- conversion
SN  - 9780691083940
CY  - Princeton
ER  -