Custom cover image
Custom cover image

The lambda calculus : its syntax and semantics / H.P. Barendregt

Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Studies in logic and the foundations of mathematics ; v. 103Publisher: Amsterdam ; New York ; New York, N.Y : North-Holland, 2011Edition: Rev. edDescription: Online Ressource (xv, 621 pages) : illustrationsISBN:
  • 9780444875082
  • 9780080933757
  • 0080933750
  • 0444875085
  • 0444867481
  • 0444875085
  • 9780444867483
  • 9780444875082
Subject(s): Additional physical formats: 0444867481 | 0444875085. | Erscheint auch als: Lambda calculus. Druck-Ausgabe Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984DDC classification:
  • 511.3
RVK: RVK: CC 2600 | ES 200 | SK 130LOC classification:
  • QA9.5
Online resources: Additional physical formats: Online-Ausg. [S.l.] : HathiTrust Digital Library
Contents:
Cover; Contents; Addenda for the Sixth Imprinting; Errata; Preface & Contents; Chapter 1; Chapter 2; Chapter 3; Chapter 4; Chapter 5; Chapter 6; Chapter 7; Chapter 8; Chapter 9; Chapter 10; Chapter 11; Chapter 12; Chapter 13; Chapter 14; Chapter 15; Chapter 16; Chapter 17; Chapter 18; Chapter 19; Chapter 20; Appendices; Addenda; References; Index of Names; Index of Definitions; Index of Symbols; Bibliography;
Summary: 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 theory (of categorical models) is developed. Indications are given of those parts of the book which can be used to form a coherent coursePPN: PPN: 87888856XPackage identifier: Produktsigel: GBV-33-Freedom-BL | GBV-33-EBS-MRI | ZDB-1-ELC | ZDB-33-EBS | BSZ-33-EBS-C1UB | ZDB-33-ESD | BSZ-33-EBS-HSAA
No physical items for this record

Restrictions unspecified star

Online-Ausg. [S.l.] : HathiTrust Digital Library

Online-Ausg. [S.l.] : HathiTrust Digital Library. Online-Ausg. [S.l.] : HathiTrust Digital Library

Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.

English

KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT