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 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#Person/curry_haskell_b_haskell_brooks_1900_1982> ; # Haskell Brooks Curry
   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://experiment.worldcat.org/entity/work/data/155882274#Person/seldin_j_p> ; # 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://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=1704321&custom%5Fatt%5F2=simple%5Fviewer> ;
   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#Person/curry_haskell_b_haskell_brooks_1900_1982> # 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://experiment.worldcat.org/entity/work/data/155882274#Person/seldin_j_p> # J. P. Seldin
    a schema:Person ;
   schema:familyName "Seldin" ;
   schema:givenName "J. P." ;
   schema:name "J. P. Seldin" ;
    .

<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/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" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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