skip to content
To H.B. Curry : essays on combinatory logic, lambda calculus, and formalism Preview this item
ClosePreview this item
Checking...

To H.B. Curry : essays on combinatory logic, lambda calculus, and formalism

Author: Haskell B Curry; J Roger Hindley; J P Seldin
Publisher: London ; New York : Academic Press, 1980.
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

Links to this item

Find a copy in the library

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

Details

Named Person: Haskell B Curry; Haskell B Curry
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Haskell B Curry; J Roger Hindley; J P Seldin
ISBN: 0123490502 9780123490506
OCLC Number: 6305265
Description: xxv, 606 pages : illustrations ; 24 cm
Responsibility: edited by J.P. Seldin, J.R. Hindley.

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/6305265> # To H.B. Curry : essays on combinatory logic, lambda calculus, and formalism
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "6305265" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/155882274#Topic/combinatorische_logica> ; # Combinatorische logica
    schema:about <http://experiment.worldcat.org/entity/work/data/155882274#Topic/logic_symbolic_and_mathematical_addresses_essays_lectures> ; # Logic, Symbolic and mathematical--Addresses, essays, lectures
    schema:about <http://experiment.worldcat.org/entity/work/data/155882274#Topic/lambda_kalkul> ; # Lambda-Kalkül
    schema:about <http://dewey.info/class/511.3/> ;
    schema:about <http://viaf.org/viaf/34535556> ; # Haskell Brooks Curry
    schema:about <http://experiment.worldcat.org/entity/work/data/155882274#Topic/lambda_calculus> ; # Lambda-calculus
    schema:about <http://experiment.worldcat.org/entity/work/data/155882274#Topic/kombinatorik> ; # Kombinatorik
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/155882274#Topic/mathematische_logik> ; # Mathematische Logik
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/85223942> ; # J Roger Hindley
    schema:contributor <http://viaf.org/viaf/64086177> ; # J. P. Seldin
    schema:contributor <http://viaf.org/viaf/34535556> ; # Haskell Brooks Curry
    schema:datePublished "1980" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/155882274> ;
    schema:inLanguage "en" ;
    schema:name "To H.B. Curry : essays on combinatory logic, lambda calculus, and formalism"@en ;
    schema:productID "6305265" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/6305265#PublicationEvent/london_new_york_academic_press_1980> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/155882274#Agent/academic_press> ; # Academic Press
    schema:url <http://www.gbv.de/dms/hbz/toc/ht000405396.pdf> ;
    schema:workExample <http://worldcat.org/isbn/9780123490506> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/6305265> ;
    .


Related Entities

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

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

<http://experiment.worldcat.org/entity/work/data/155882274#Agent/academic_press> # Academic Press
    a bgn:Agent ;
    schema:name "Academic Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/155882274#Topic/combinatorische_logica> # Combinatorische logica
    a schema:Intangible ;
    schema:name "Combinatorische logica"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/155882274#Topic/logic_symbolic_and_mathematical_addresses_essays_lectures> # Logic, Symbolic and mathematical--Addresses, essays, lectures
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical--Addresses, essays, lectures"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/155882274#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
    schema:name "Mathematische Logik"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://viaf.org/viaf/34535556> # Haskell Brooks Curry
    a schema:Person ;
    schema:birthDate "1900" ;
    schema:deathDate "1982" ;
    schema:familyName "Curry" ;
    schema:givenName "Haskell Brooks" ;
    schema:givenName "Haskell B." ;
    schema:name "Haskell Brooks Curry" ;
    .

<http://viaf.org/viaf/64086177> # J. P. Seldin
    a schema:Person ;
    schema:familyName "Seldin" ;
    schema:givenName "J. P." ;
    schema:name "J. P. Seldin" ;
    .

<http://viaf.org/viaf/85223942> # J Roger Hindley
    a schema:Person ;
    schema:familyName "Hindley" ;
    schema:givenName "J. Roger" ;
    schema:name "J Roger Hindley" ;
    .

<http://worldcat.org/isbn/9780123490506>
    a schema:ProductModel ;
    schema:isbn "0123490502" ;
    schema:isbn "9780123490506" ;
    .

<http://www.worldcat.org/title/-/oclc/6305265>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/6305265> ; # To H.B. Curry : essays on combinatory logic, lambda calculus, and formalism
    schema:dateModified "2015-03-18" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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