Media type: Book Title: The lambda calculus : its syntax and semantics Contributor: Barendregt, Hendrik P. [Author]; Barendregt, Hendrik Pieter [Other] imprint: Amsterdam [u.a.]: North-Holland, 2001 Published in: Studies in logic and the foundations of mathematics ; 10300 Issue: 5. impr., rev. ed., 2. Aufl Extent: XV, 621 S; Ill.,graph. Darst Language: English ISBN: 0444875085 RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, Keywords: Lambda-Kalkül Origination: Footnote: Literaturverz. S. 585 - 598