Introduction to Combinators and λ-calculus. Hindley, J. & Seldin, J. Press Syndicate of the University of Cambridge, Cambridge, UK, 1986.
bibtex   
@book{hindley_introduction_1986,
	address = {Cambridge, UK},
	title = {Introduction to {Combinators} and λ-calculus},
	publisher = {Press Syndicate of the University of Cambridge},
	author = {Hindley, J.R. and Seldin, J.P.},
	year = {1986}
}

Downloads: 0