Lambda Calculus with Types
42 Best-Selling Lambda Calculus Books of All Time - BookAuthority
Unification in typed lambda calculus | SpringerLink
The Calculi of Lambda Conversion. (Am-6), Volume 6 by Alonzo Church
The Calculi of Lambda-Conversion: 6 (Annals of Mathematics Studies): Amazon.co.uk: Church, Alonzo: 9780691083940: Books
Lambda Calculus and Combinatory Logic Research Papers - Academia.edu
Lambda Calculus CLC | PDF | Models Of Computation | Functional Programming
Parameter-passing and the lambda calculus | Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The Calculi of Lambda Conversion. (AM-6), Volume 6
Historical Notes and References
Page:AIM-353.djvu/38 - Wikisource, the free online library
Alonzo Church. The calculi of lambda-conversion. Annals of Mathematics studies, no. 6. Lithoprinted. Princeton University Press, Princeton1941, 77 pp. | The Journal of Symbolic Logic | Cambridge Core
CLAUDE SHANNON'S LIBRARY SIGNED : Theorie des Operations Lineaires Stefan BANACH - $500.00 | PicClick
Figure 9 from State transition machines for lambda calculus expressions | Semantic Scholar
PDF) Lambda Calculi with Types
A++ and the Lambda Calculus: Principles of Functional Programming by Georg P. Loczewski
Typed Lambda Calculi and Applications | springerprofessional.de
The Calculi of Lambda Conversion. (Am-6), Volume 6 by Alonzo Church
9780691083940: The Calculi of Lambda Conversion. (AM-6), Volume 6 (Annals of Mathematics Studies, 6) - AbeBooks - Church, Alonzo: 0691083940
Figure 9 from State transition machines for lambda calculus expressions | Semantic Scholar
The Calculi of Lambda Conversion. (AM-6), Volume 6 | Princeton University Press
The Calculi of Lambda-conversion - Alonzo Church - Google Books
Church, The Calculi of Lambda Conversion – Xenotheka
