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 Pub. Co. ; New York : Sole distributors for the U.S.A. and Canada Elsevier North-Holland, 1981.
Series: Studies in logic and the foundations of mathematics, v. 103.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Rating:

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

Subjects
More like this

 

Find a copy online

Find a copy in the library

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

Details

Additional Physical Format: Online version:
Barendregt, H.P. (Hendrik Pieter).
Lambda calculus.
Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada Elsevier North-Holland, 1981
(OCoLC)654712712
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: H P Barendregt
ISBN: 0444854908 9780444854902
OCLC Number: 7557369
Notes: Includes indexes.
Description: xiv, 615 pages : illustrations ; 23 cm.
Series Title: Studies in logic and the foundations of mathematics, v. 103.
Responsibility: H.P. Barendregt.

Reviews

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/7557369> # The lambda calculus : its syntax and semantics
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "7557369" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2910095#Place/amsterdam> ; # Amsterdam
   schema:about <http://experiment.worldcat.org/entity/work/data/2910095#Topic/lambda_calculus> ; # Lambda-calculus
   schema:about <http://id.worldcat.org/fast/991011> ; # Lambda calculus
   schema:about <http://experiment.worldcat.org/entity/work/data/2910095#Topic/lambda_calcul> ; # Lambda-calcul
   schema:about <http://dewey.info/class/511.3/e19/> ;
   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/logica_matematica> ; # Logica Matematica
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://viaf.org/viaf/109291023> ; # Hendrik Pieter Barendregt
   schema:datePublished "1981" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/2910095> ;
   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/654712712> ;
   schema:name "The lambda calculus : its syntax and semantics"@en ;
   schema:productID "7557369" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/7557369#PublicationEvent/amsterdam_new_york_north_holland_pub_co_new_york_sole_distributors_for_the_u_s_a_and_canada_elsevier_north_holland_1981> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/2910095#Agent/sole_distributors_for_the_u_s_a_and_canada_elsevier_north_holland> ; # Sole distributors for the U.S.A. and Canada Elsevier North-Holland
   schema:publisher <http://experiment.worldcat.org/entity/work/data/2910095#Agent/north_holland_pub_co> ; # North-Holland Pub. Co.
   schema:url <http://www.gbv.de/dms/hbz/toc/ht000976490.pdf> ;
   schema:url <http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=1914246&custom_att_2=simple_viewer> ;
   schema:url <http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=1914246&custom%5Fatt%5F2=simple%5Fviewer> ;
   schema:workExample <http://worldcat.org/isbn/9780444854902> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/7557369> ;
    .


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

<http://experiment.worldcat.org/entity/work/data/2910095#Agent/sole_distributors_for_the_u_s_a_and_canada_elsevier_north_holland> # Sole distributors for the U.S.A. and Canada Elsevier North-Holland
    a bgn:Agent ;
   schema:name "Sole distributors for the U.S.A. and Canada Elsevier North-Holland" ;
    .

<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/7557369> ; # 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#Topic/lambda_calcul> # Lambda-calcul
    a schema:Intangible ;
   schema:name "Lambda-calcul"@en ;
   schema:name "Lambda-calcul"@fr ;
    .

<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/9780444854902>
    a schema:ProductModel ;
   schema:isbn "0444854908" ;
   schema:isbn "9780444854902" ;
    .

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

<http://www.worldcat.org/title/-/oclc/7557369#PublicationEvent/amsterdam_new_york_north_holland_pub_co_new_york_sole_distributors_for_the_u_s_a_and_canada_elsevier_north_holland_1981>
    a schema:PublicationEvent ;
   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_north_holland> ; # Sole distributors for the U.S.A. and Canada Elsevier North-Holland
   schema:organizer <http://experiment.worldcat.org/entity/work/data/2910095#Agent/north_holland_pub_co> ; # North-Holland Pub. Co.
   schema:startDate "1981" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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