Barendregt, H. P. The lambda calculus : its syntax and semantics / by H. P. Barendregt. - milton keynes : lightning source, 2012. - xiii,621p. : ill. ; Include Index ISBN: 9781848900660 Subjects--Topical Terms: Calculus Dewey Class. No.: 511.3 / BAR/L