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
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/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/north_holland> # North-Holland
    a bgn:Agent ;
    schema:name "North-Holland" ;
    .

<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/logica_matematica> # Logica Matematica
    a schema:Intangible ;
    schema:name "Logica Matematica"@en ;
    .

<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.