A++ and the Lambda Calculus: Principles of Functional Programming by Georg P. Loczewski
42 Best-Selling Lambda Calculus Books of All Time - BookAuthority
The Lambda Calculus by H.P. Barendregt - Ebook | Scribd
Decidability for non standard conversions in typed lambda calculus
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
Page:Scheme - An interpreter for extended lambda calculus.djvu/42 - Wikisource, the free online library
Annals Of Mathematical Studies 6) Church, Alonzo The Calculi Of Lambda Conversion Princeton University Press ( 1941) : Alonzo Church : Free Download, Borrow, and Streaming : Internet Archive
Page:AIM-353.djvu/38 - Wikisource, the free online library
Typed Lambda Calculi and Applications | springerprofessional.de
Historical Notes and References
CLAUDE SHANNON'S LIBRARY SIGNED : Theorie des Operations Lineaires Stefan BANACH - $500.00 | PicClick
PDF) Lambda Calculi with Types
The Collected Works of Alonzo Church | The MIT Press
The Calculi of Lambda-Conversion: 6 (Annals of Mathematics Studies): Amazon.co.uk: Church, Alonzo: 9780691083940: Books
Calculi of Lambda Conversion : Alonzo Church : 9780527027223
Page:AIM-453.djvu/73 - Wikisource, the free online library
Unification in typed lambda calculus | SpringerLink
Figure 9 from State transition machines for lambda calculus expressions | Semantic Scholar
Parameter-passing and the lambda calculus | Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Historical Notes and References
Introduction to Mathematical Logic (PMS-13), Volume 13
Write You a Haskell ( Stephen Diehl )
Lambda Calculus with Types
The Calculi of Lambda Conversion. (Am-6), Volume 6 by Alonzo Church
From Notation Theory to Expression Reduction Systems - ppt download
Lambda Calculus and Combinatory Logic Research Papers - Academia.edu
Replication is Recursion; or, Lambda: the Biological Imperative | bioRxiv
