The Lambda Calculus, Second Edition: Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics)

The Lambda Calculus, Second Edition: Its

📁 The Lambda Calculus, Second Edition: Its Syntax and Semantics

✍ H.P. Barendregt 📂 Library 📅 1985 🏛 North Holland 🌐 English

The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general

The lambda calculus: its syntax and sema

📁 The lambda calculus: its syntax and semantics

✍ Hendrik Pieter Barendregt 📂 Library 📅 1984 🏛 North-Holland 🌐 English

The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general

The Lambda calculus: its syntax and sema

📁 The Lambda calculus: its syntax and semantics

✍ Hendrik Pieter Barendregt 📂 Library 📅 1984 🏛 NH 🌐 English

The Lambda calculus: its syntax and sema

📁 The Lambda calculus: its syntax and semantics

✍ Hendrik Pieter Barendregt 📂 Library 📅 1984 🏛 NH 🌐 English

The lambda calculus : its syntax and sem

📁 The lambda calculus : its syntax and semantics

✍ H P Barendregt 📂 Library 📅 0 🌐 English

Logic Colloquium '82: Studies in Logic a

📁 Logic Colloquium '82: Studies in Logic and Foundations of Mathematics Series (Studies in Logic & the Foundations of Mathematics)

✍ Gabriele Lolli (editor) 📂 Library 📅 1984 🏛 Elsevier 🌐 English