Research Catalog

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

Title
The lambda calculus : its syntax and semantics / Henk P. Barendregt.
Author
Barendregt, H. P. (Hendrik Pieter)
Publication
London : College Publications, c2012.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextUse in library QA9.5 .B367 2012Off-site

Holdings

Details

Description
xv, 621, [16] p. : ill.; 24 cm.
Series Statement
Studies in logic. Mathematical logic and foundations ; v. 40
Uniform Title
  • Studies in logic v. 40.
  • Studies in logic. Mathematical logic and foundations.
Subject
  • Lambda calculus
  • Lambda calculus
Bibliography (note)
  • Includes bibliographical references (p. 585-598) and indexes.
Processing Action (note)
  • committed to retain
ISBN
  • 9781848900660 (Paper)
  • 184890066X (Paper)
Owning Institutions
Harvard Library