skip to content
The Parametric Lambda Calculus : a Metamodel for Computation Preview this item
ClosePreview this item
Checking...

The Parametric Lambda Calculus : a Metamodel for Computation

Author: Simona Ronchi Della Rocca; Luca Paolini
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
Series: Texts in Theoretical Computer Science, An EATCS Series.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
The parametric lambda calculus is a metamodel for reasoning about various kinds of computations. Its syntactic definition is based on the notion of "sets of input values", and different lambda calculi can be obtained from it by instantiating such sets in suitable ways. The parametric lambda calculus is used as a tool for presenting in a uniform way basic notions of programming languages, and for studying with a  Read more...
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

Genre/Form: Electronic books
Additional Physical Format: Print version:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Simona Ronchi Della Rocca; Luca Paolini
ISBN: 9783662103944 366210394X
OCLC Number: 851375269
Description: 1 online resource (xiii, 254 pages).
Contents: I. Syntax --
1. The Parametric?-Calculus --
2. The Call-by-Name?-Calculus --
3. The Call-by-Value?-Calculus --
4. Further Reading --
II. Operational Semantics --
5. Parametric Operational Semantics --
6. Call-by-Name Operational Semantics --
7. Call-by-Value Operational Semantics --
8. Operational Extensionality --
9. Further Reading --
III. Denotational Semantics --
10.??-Models --
11. Call-by-Name Denotational Semantics --
12. Call-by-Value Denotational Semantics --
13. Filter??-Models and Domains --
14. Further Reading --
IV. Computational Power --
15. Preliminaries --
16. Representing Functions.
Series Title: Texts in Theoretical Computer Science, An EATCS Series.
Responsibility: by Simona Ronchi Della Rocca, Luca Paolini.

Abstract:

The book contains a completely new presentation of classical results in the field of Lambda Calculus, together with new results. The text is unique in that it presents a new calculus (Parametric  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

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/851375269> # The Parametric Lambda Calculus : a Metamodel for Computation
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "851375269" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/287163534#Place/berlin_heidelberg> ; # Berlin, Heidelberg
    schema:about <http://id.worldcat.org/fast/1002045> ; # Logic design
    schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:about <http://dewey.info/class/005.131/e23/> ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/287163534#Person/paolini_luca> ; # Luca Paolini
    schema:creator <http://experiment.worldcat.org/entity/work/data/287163534#Person/rocca_simona_ronchi_della> ; # Simona Ronchi Della Rocca
    schema:datePublished "2004" ;
    schema:description "The parametric lambda calculus is a metamodel for reasoning about various kinds of computations. Its syntactic definition is based on the notion of "sets of input values", and different lambda calculi can be obtained from it by instantiating such sets in suitable ways. The parametric lambda calculus is used as a tool for presenting in a uniform way basic notions of programming languages, and for studying with a uniform approach some lambda calculi modeling different kinds of computations, such as call-by-name, both in its lazy and non-lazy versions, and call-by-value. The parametric presentation allows us both to prove in one step all the fundamental properties of different calculi, and to compare them with each other. The book includes some classical results in the field of lambda calculi, but completely rephrased using the parametric approach, together with some new results. The lambda calculi are presented from a computer science viewpoint, with particular emphasis on their semantics, both operational and denotational. This book is dedicated to researchers, and can be used as a textbook for masters or Ph. D. courses on the foundations of computer science."@en ;
    schema:description "I. Syntax -- 1. The Parametric?-Calculus -- 2. The Call-by-Name?-Calculus -- 3. The Call-by-Value?-Calculus -- 4. Further Reading -- II. Operational Semantics -- 5. Parametric Operational Semantics -- 6. Call-by-Name Operational Semantics -- 7. Call-by-Value Operational Semantics -- 8. Operational Extensionality -- 9. Further Reading -- III. Denotational Semantics -- 10.??-Models -- 11. Call-by-Name Denotational Semantics -- 12. Call-by-Value Denotational Semantics -- 13. Filter??-Models and Domains -- 14. Further Reading -- IV. Computational Power -- 15. Preliminaries -- 16. Representing Functions."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/287163534> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/1862-4499> ; # Texts in Theoretical Computer Science, An EATCS Series,
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/287163534#Series/texts_in_theoretical_computer_science_an_eatcs_series> ; # Texts in Theoretical Computer Science, An EATCS Series.
    schema:isSimilarTo <http://worldcat.org/entity/work/data/287163534#CreativeWork/> ;
    schema:name "The Parametric Lambda Calculus : a Metamodel for Computation"@en ;
    schema:productID "851375269" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/851375269#PublicationEvent/berlin_heidelberg_springer_berlin_heidelberg_2004> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/287163534#Agent/springer_berlin_heidelberg> ; # Springer Berlin Heidelberg
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-540-20032-1> ;
    schema:url <http://link.springer.com/10.1007/978-3-662-10394-4> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3100505> ;
    schema:url <http://dx.doi.org/10.1007/978-3-662-10394-4> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-662-10394-4> ;
    schema:workExample <http://worldcat.org/isbn/9783662103944> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/851375269> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/287163534#Agent/springer_berlin_heidelberg> # Springer Berlin Heidelberg
    a bgn:Agent ;
    schema:name "Springer Berlin Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/287163534#Person/paolini_luca> # Luca Paolini
    a schema:Person ;
    schema:familyName "Paolini" ;
    schema:givenName "Luca" ;
    schema:name "Luca Paolini" ;
    .

<http://experiment.worldcat.org/entity/work/data/287163534#Person/rocca_simona_ronchi_della> # Simona Ronchi Della Rocca
    a schema:Person ;
    schema:familyName "Rocca" ;
    schema:givenName "Simona Ronchi Della" ;
    schema:name "Simona Ronchi Della Rocca" ;
    .

<http://experiment.worldcat.org/entity/work/data/287163534#Place/berlin_heidelberg> # Berlin, Heidelberg
    a schema:Place ;
    schema:name "Berlin, Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/287163534#Series/texts_in_theoretical_computer_science_an_eatcs_series> # Texts in Theoretical Computer Science, An EATCS Series.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/851375269> ; # The Parametric Lambda Calculus : a Metamodel for Computation
    schema:name "Texts in Theoretical Computer Science, An EATCS Series." ;
    .

<http://id.worldcat.org/fast/1002045> # Logic design
    a schema:Intangible ;
    schema:name "Logic design"@en ;
    .

<http://id.worldcat.org/fast/817247> # Artificial intelligence
    a schema:Intangible ;
    schema:name "Artificial intelligence"@en ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
    schema:name "Computer science"@en ;
    .

<http://link.springer.com/10.1007/978-3-662-10394-4>
    rdfs:comment "from Springer" ;
    rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://worldcat.org/entity/work/data/287163534#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/851375269> ; # The Parametric Lambda Calculus : a Metamodel for Computation
    .

<http://worldcat.org/isbn/9783662103944>
    a schema:ProductModel ;
    schema:isbn "366210394X" ;
    schema:isbn "9783662103944" ;
    .

<http://worldcat.org/issn/1862-4499> # Texts in Theoretical Computer Science, An EATCS Series,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/851375269> ; # The Parametric Lambda Calculus : a Metamodel for Computation
    schema:issn "1862-4499" ;
    schema:name "Texts in Theoretical Computer Science, An EATCS Series," ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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