Transcription of History of Lambda-calculus and Combinatory Logic
{{id}} {{{paragraph}}}
History of Lambda-calculus and Combinatory Logic . J. Roger Hindley . Felice Cardone 2006, from Swansea University Mathematics Department Research Report No. MRRS-05-06.. Contents 1 Introduction 1. 2 Pre- History 2. 3 1920s: Birth of Combinatory Logic 3. 4 1930s: Birth of and Youth of CL 6. Early - calculus .. 6. CL in the 1930s .. 9. 5 1940s and 1950s: Consolidation 12. Simple type theory .. 12. Abstract reduction theory .. 13. Reductions in CL and .. 13. Illative systems .. 14. 6 Programming languages 16. John McCarthy and LISP .. 16. Peter Landin .. 16. Corrado B . ohm: - calculus as a programming language .. 17. 7 Syntactical developments 18. Contributions from the programming side .. 19. Theory of reductions .. 21. 8 Types 23. The general development of type theories .. 23. Types as grammatical categories.
The present article will sketch the history of these two topics through the twen- tieth century. We shall assume the reader is familiar with at least one of the many versions
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document:
{{id}} {{{paragraph}}}
With Theo Cateforis, author of Are, The Rock History Reader, Rock, Montana Rockhound, The Rock, History, Reader, RIA Illustrated History, Illustrated History, Jerusalem, ROCK YOUR PLOT • WORKBOOK, Rock and Sand, SUBCULTURE: THE MEANING OF STYLE, SUBCULTURE THE MEANING OF STYLE, Study Guide to Textbook Foundations of Earth Science, Study Guide to Textbook . Foundations of Earth Science, Edicts of King, Buddhism, Classic Rock FYS 1221, Fall 2013