The lambda calculus : its syntax and semantics / Henk P. Barendregt. - Barendregt, H. P. (Hendrik Pieter) (Studies in logic ;, 2012)