Difference between revisions of "Paper/History of Lambda-calculus and Combinatory Logic"
Jump to navigation
Jump to search
(Created page with "{{cite book |last2=Hindely |first2=J. Roger |last1=Cardone |first1=Felic |author-link= |date=2006 |title=History of Lambda-calculus and Combinatory Logic |url=http://w...") |
|||
| Line 1: | Line 1: | ||
{{cite book | {{cite book | ||
|last2= | |last2=Hindley | ||
|first2=J. Roger | |first2=J. Roger | ||
|last1=Cardone | |last1=Cardone | ||
|first1= | |first1=Felice | ||
|author-link= | |author-link= | ||
|date=2006 | |date=2006 | ||
Latest revision as of 04:57, 26 October 2021
Cardone, Felice; Hindley, J. Roger (2006). History of Lambda-calculus and Combinatory Logic (PDF). Paper/History of Lambda-calculus and Combinatory Logic: Elsevier.
References