skip to content
The lambda calculus : its syntax and semantics Preview this item
ClosePreview this item
Checking...

The lambda calculus : its syntax and semantics

Author: H P Barendregt
Publisher: Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984.
Series: Studies in logic and the foundations of mathematics, v. 103.
Edition/Format:   eBook : Document : English : Rev. edView all editions and formats
Database:WorldCat
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Barendregt, H.P. (Hendrik Pieter).
Lambda calculus.
Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984
(DLC) 84005966
(OCoLC)10559084
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: H P Barendregt
ISBN: 9780080933757 0080933750
OCLC Number: 428736008
Notes: Includes indexes.
Reproduction Notes: Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2011. MiAaHDL
Description: 1 online resource (xv, 621 pages) : illustrations.
Details: 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.
Contents: Towards the Theory. Introduction. Conversion. Reduction. Theories. Models. Conversion. Classical Lambda Calculus. The Theory of Combinators. Classical Lambda Calculus (Continued). The Lambda-Calculus. Bohm Trees. Reduction. Fundamental Theorems. Strongly Equivalent Reductions. Reduction Strategies. Labelled Reduction. Other Notions of Reduction. Theories. Sensible Theories. Other Lambda Theories. Models. Construction of Models. Local Structure of Models. Global Structure of Models. Combinatory Groups. Appendices: Typed Lambda Calculus. Illative Combinatory Logic. Variables. References.
Series Title: Studies in logic and the foundations of mathematics, v. 103.
Responsibility: H.P. Barendregt.

Abstract:

Includes a chapter which provides a description of the semantics. This book describes various classes of lambda calculus models in a uniform manner. It gives an example of a simple model and then  Read more...

Reviews

Editorial reviews

Publisher Synopsis

This book is (almost) an encyclopedia of type-free lambda calculus... The reviewer is surprised by the author's success in getting in such an amount of material with motivations and complete Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/428736008> # The lambda calculus : its syntax and semantics
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
   library:oclcnum "428736008" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2910095#Place/amsterdam> ; # Amsterdam
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2910095#Place/new_york_n_y> ; # New York, N.Y.
   schema:about <http://experiment.worldcat.org/entity/work/data/2910095#Topic/mathematics> ; # Mathematics
   schema:about <http://experiment.worldcat.org/entity/work/data/2910095#Topic/lambda_kalkul> ; # Lambda-Kalkül
   schema:about <http://experiment.worldcat.org/entity/work/data/2910095#Topic/mathematics_infinity> ; # MATHEMATICS--Infinity
   schema:about <http://experiment.worldcat.org/entity/work/data/2910095#Topic/lambda_calculus> ; # Lambda-calculus
   schema:about <http://experiment.worldcat.org/entity/work/data/2910095#Topic/lambda_calcul> ; # Lambda-calcul
   schema:about <http://experiment.worldcat.org/entity/work/data/2910095#Thing/lambda_calculus> ; # Lambda calculus
   schema:about <http://experiment.worldcat.org/entity/work/data/2910095#Topic/mathematics_logic> ; # MATHEMATICS--Logic
   schema:about <http://id.worldcat.org/fast/991011> ; # Lambda calculus
   schema:about <http://experiment.worldcat.org/entity/work/data/2910095#Topic/logica_matematica> ; # Logica Matematica
   schema:about <http://dewey.info/class/511.3/e22/> ;
   schema:bookEdition "Rev. ed." ;
   schema:bookFormat schema:EBook ;
   schema:creator <http://viaf.org/viaf/109291023> ; # Hendrik Pieter Barendregt
   schema:datePublished "1984" ;
   schema:description "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 course."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/2910095> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2910095#Series/studies_in_logic_and_the_foundations_of_mathematics> ; # Studies in logic and the foundations of mathematics ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/10559084> ;
   schema:name "The lambda calculus : its syntax and semantics"@en ;
   schema:productID "428736008" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/428736008#PublicationEvent/amsterdam_new_york_north_holland_new_york_n_y_sole_distributors_for_the_u_s_a_and_canada_elsevier_science_pub_co_1984> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/2910095#Agent/sole_distributors_for_the_u_s_a_and_canada_elsevier_science_pub_co> ; # Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
   schema:publisher <http://experiment.worldcat.org/entity/work/data/2910095#Agent/north_holland> ; # North-Holland
   schema:url <http://books.google.com/books?id=qU4_AQAAIAAJ> ;
   schema:url <http://www.sciencedirect.com/science/book/9780444875082> ;
   schema:url <http://www.myilibrary.com?id=216919> ;
   schema:url <http://catalog.hathitrust.org/api/volumes/oclc/10559084.html> ;
   schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=428593> ;
   schema:url <http://books.google.com/books?id=eMtTAAAAYAAJ> ;
   schema:url <http://www.sciencedirect.com/science/bookseries/0049237X/103> ;
   schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=279618> ;
   schema:url <http://site.ebrary.com/id/10450000> ;
   schema:workExample <http://worldcat.org/isbn/9780080933757> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/428736008> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/2910095#Agent/sole_distributors_for_the_u_s_a_and_canada_elsevier_science_pub_co> # Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
    a bgn:Agent ;
   schema:name "Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co." ;
    .

<http://experiment.worldcat.org/entity/work/data/2910095#Place/new_york_n_y> # New York, N.Y.
    a schema:Place ;
   schema:name "New York, N.Y." ;
    .

<http://experiment.worldcat.org/entity/work/data/2910095#Series/studies_in_logic_and_the_foundations_of_mathematics> # Studies in logic and the foundations of mathematics ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/428736008> ; # The lambda calculus : its syntax and semantics
   schema:name "Studies in logic and the foundations of mathematics ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/2910095#Thing/lambda_calculus> # Lambda calculus
    a schema:Thing ;
   schema:name "Lambda calculus" ;
    .

<http://experiment.worldcat.org/entity/work/data/2910095#Topic/lambda_calcul> # Lambda-calcul
    a schema:Intangible ;
   schema:name "Lambda-calcul"@en ;
   schema:name "Lambda-calcul"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/2910095#Topic/mathematics_infinity> # MATHEMATICS--Infinity
    a schema:Intangible ;
   schema:name "MATHEMATICS--Infinity"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2910095#Topic/mathematics_logic> # MATHEMATICS--Logic
    a schema:Intangible ;
   schema:name "MATHEMATICS--Logic"@en ;
    .

<http://id.worldcat.org/fast/991011> # Lambda calculus
    a schema:Intangible ;
   schema:name "Lambda calculus"@en ;
    .

<http://viaf.org/viaf/109291023> # Hendrik Pieter Barendregt
    a schema:Person ;
   schema:familyName "Barendregt" ;
   schema:givenName "Hendrik Pieter" ;
   schema:givenName "H. P." ;
   schema:name "Hendrik Pieter Barendregt" ;
    .

<http://worldcat.org/isbn/9780080933757>
    a schema:ProductModel ;
   schema:isbn "0080933750" ;
   schema:isbn "9780080933757" ;
    .

<http://www.worldcat.org/oclc/10559084>
    a schema:CreativeWork ;
   rdfs:label "Lambda calculus." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/428736008> ; # The lambda calculus : its syntax and semantics
    .

<http://www.worldcat.org/title/-/oclc/428736008#PublicationEvent/amsterdam_new_york_north_holland_new_york_n_y_sole_distributors_for_the_u_s_a_and_canada_elsevier_science_pub_co_1984>
    a schema:PublicationEvent ;
   schema:location <http://experiment.worldcat.org/entity/work/data/2910095#Place/new_york_n_y> ; # New York, N.Y.
   schema:location <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:location <http://experiment.worldcat.org/entity/work/data/2910095#Place/amsterdam> ; # Amsterdam
   schema:organizer <http://experiment.worldcat.org/entity/work/data/2910095#Agent/sole_distributors_for_the_u_s_a_and_canada_elsevier_science_pub_co> ; # Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
   schema:organizer <http://experiment.worldcat.org/entity/work/data/2910095#Agent/north_holland> ; # North-Holland
   schema:startDate "1984" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.