skip to content
Domains and lambda-calculi Preview this item
ClosePreview this item
Checking...

Domains and lambda-calculi

Author: Roberto M Amadio; P -L Curien
Publisher: Cambridge, U.K. ; New York : Cambridge University Press, 1998.
Series: Cambridge tracts in theoretical computer science, 46.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:

Graduate text on mathematical foundations of programming languages, and operational and denotational semantics.

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

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Roberto M Amadio; P -L Curien
ISBN: 0521622778 9780521622776
OCLC Number: 39894178
Description: xvi, 484 pages ; 24 cm.
Contents: Preface; Notation; 1. Continuity and computability; 2. Syntactic theory of lambda-calculus; 3. D models and intersection types; 4. Interpretation of lambda-calculi in CCC's; 5. CCC's of algebraic dcpo's; 6. The language PCF; 7. Domain equations; 8. Values and computations; 9. Powerdomains; 10. Stone duality; 11. Dependent and second order types; 12. Stability; 13. Towards linear logic; 14. Sequentiality; 15. Domains and realizability; 16. Functions and processes; Appendix 1: summary of recursion theory; Appendix 2: summary of category theory; References and bibliography; Index.
Series Title: Cambridge tracts in theoretical computer science, 46.
Responsibility: Roberto M. Amadio, Pierre-Louis Curien.
More information:

Reviews

Editorial reviews

Publisher Synopsis

Review of the hardback: '... extremely useful as a reference for classical results and techniques in general domain theory, very balanced in the treatment of mathematical properties of domains and 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/39894178> # Domains and lambda-calculi
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "39894178" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/558608#Place/cambridge_u_k> ; # Cambridge, U.K.
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://experiment.worldcat.org/entity/work/data/558608#Topic/langages_de_programmation_semantique> ; # Langages de programmation--Sémantique
   schema:about <http://id.worldcat.org/fast/991011> ; # Lambda calculus
   schema:about <http://experiment.worldcat.org/entity/work/data/558608#Topic/lambda_kalkul> ; # Lambda-Kalkül
   schema:about <http://id.worldcat.org/fast/1078716> ; # Programming languages (Electronic computers)--Semantics
   schema:about <http://experiment.worldcat.org/entity/work/data/558608#Topic/lambda_calcul> ; # Lambda-calcul
   schema:about <http://id.loc.gov/authorities/subjects/sh85107316> ; # Programming languages (Electronic computers)--Semantics
   schema:about <http://experiment.worldcat.org/entity/work/data/558608#Topic/domeinen> ; # Domeinen
   schema:about <http://dewey.info/class/511.3/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/558608#Topic/attributwertebereich> ; # Attributwertebereich
   schema:about <http://experiment.worldcat.org/entity/work/data/558608#Topic/lambda_calculus> ; # Lambda-calculus
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/93441320> ; # Pierre-Louis Curien
   schema:creator <http://experiment.worldcat.org/entity/work/data/558608#Person/amadio_roberto_m> ; # Roberto M. Amadio
   schema:datePublished "1998" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/558608> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/558608#Series/cambridge_tracts_in_theoretical_computer_science> ; # Cambridge tracts in theoretical computer science ;
   schema:name "Domains and lambda-calculi"@en ;
   schema:productID "39894178" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/39894178#PublicationEvent/cambridge_u_k_new_york_cambridge_university_press_1998> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/558608#Agent/cambridge_university_press> ; # Cambridge University Press
   schema:url <http://catdir.loc.gov/catdir/toc/cam027/98212250.html> ;
   schema:workExample <http://worldcat.org/isbn/9780521622776> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/39894178> ;
    .


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/558608#Agent/cambridge_university_press> # Cambridge University Press
    a bgn:Agent ;
   schema:name "Cambridge University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/558608#Person/amadio_roberto_m> # Roberto M. Amadio
    a schema:Person ;
   schema:familyName "Amadio" ;
   schema:givenName "Roberto M." ;
   schema:name "Roberto M. Amadio" ;
    .

<http://experiment.worldcat.org/entity/work/data/558608#Place/cambridge_u_k> # Cambridge, U.K.
    a schema:Place ;
   schema:name "Cambridge, U.K." ;
    .

<http://experiment.worldcat.org/entity/work/data/558608#Series/cambridge_tracts_in_theoretical_computer_science> # Cambridge tracts in theoretical computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/39894178> ; # Domains and lambda-calculi
   schema:name "Cambridge tracts in theoretical computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/558608#Topic/attributwertebereich> # Attributwertebereich
    a schema:Intangible ;
   schema:name "Attributwertebereich"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/558608#Topic/langages_de_programmation_semantique> # Langages de programmation--Sémantique
    a schema:Intangible ;
   schema:name "Langages de programmation--Sémantique"@fr ;
   schema:name "Langages de programmation--Sémantique"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85107316> # Programming languages (Electronic computers)--Semantics
    a schema:Intangible ;
   schema:name "Programming languages (Electronic computers)--Semantics"@en ;
    .

<http://id.worldcat.org/fast/1078716> # Programming languages (Electronic computers)--Semantics
    a schema:Intangible ;
   schema:name "Programming languages (Electronic computers)--Semantics"@en ;
    .

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

<http://viaf.org/viaf/93441320> # Pierre-Louis Curien
    a schema:Person ;
   schema:familyName "Curien" ;
   schema:givenName "Pierre-Louis" ;
   schema:givenName "P.-L" ;
   schema:name "Pierre-Louis Curien" ;
    .

<http://worldcat.org/isbn/9780521622776>
    a schema:ProductModel ;
   schema:isbn "0521622778" ;
   schema:isbn "9780521622776" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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