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
Summary:

This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in ways independent  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

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 (starting p. 1) --
2 Syntactic theory of the [lambda]-calculus (starting p. 22) --
3 [actual symbol not reproducible] models and intersection types (starting p. 43) --
4 Interpretation of [lambda]-calculi in CCC's (starting p. 71) --
5 CCC's of algebraic dcpo's (starting p. 105) --
6 The Language PCF (starting p. 124) --
7 Domain equations (starting p. 144) --
8 Values and computations (starting p. 168) --
9 Powerdomains (starting p. 200) --
10 Stone duality (starting p. 215) --
11 Dependent and second order types (starting p. 240) --
12 Stability (starting p. 270) --
13 Towards linear logic (starting p. 301) --
14 Sequentiality (starting p. 341) --
15 Domains and realizability (starting p. 388) --
16 Functions and processes (starting p. 421) --
App. 1 Summary of recursion theory (starting p. 449) --
App. 2 Summary of category theory (starting p. 454) --
References and bibliography (starting p. 469) --
Index (starting p. 480)
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://viaf.org/viaf/5880430> ; # 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#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_calculus> # Lambda-calculus
    a schema:Intangible ;
    schema:name "Lambda-calculus"@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 ;
    .

<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/5880430> # Roberto M. Amadio
    a schema:Person ;
    schema:familyName "Amadio" ;
    schema:givenName "Roberto M." ;
    schema:name "Roberto M. Amadio" ;
    .

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