Media type: Book Title: The Lambda calculus : its syntax and semantics Contributor: Barendregt, Hendrik P. [Author] Published: Amsterdam; New York; Oxford]: North-Holland, 1984 Published in: Studies in logic and the foundations of mathematics ; 10300 Issue: Revised edition Extent: XV, 621 Seiten; Illustrationen, Diagramme Language: English ISBN: 0444867481 RVK notation: CC 2600 : Abhandlungen zur Logik und mathematischen Grundlagenforschung SK 130 : Logik und Grundlagen, Metamathematik, ES 200 : Mathematische Methoden in der Linguistik allgemein Keywords: Lambda-Kalkül Origination: Footnote: Literaturverz. S. 585 - 598