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