Online Library TheLib.net » The lambda calculus : its syntax and semantics