Paper/History of Lambda-calculus and Combinatory Logic
Jump to navigation
Jump to search
Cardone, Felice; Hindley, J. Roger (2006). History of Lambda-calculus and Combinatory Logic (PDF). Paper/History of Lambda-calculus and Combinatory Logic: Elsevier.
References