skip to content
Typed lambda calculi and applications : 8th international conference, TLCA 2007, Paris, France, June 26-28, 2007 ; proceedings Preview this item
ClosePreview this item
Checking...

Typed lambda calculi and applications : 8th international conference, TLCA 2007, Paris, France, June 26-28, 2007 ; proceedings

Author: S Ronchi Della Rocca
Publisher: Berlin ; New York : Springer, ©2007.
Series: Lecture notes in computer science, 4583.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

Constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, TLCA 2007, France in June 2007 in conjunction with RTA 2007, the 18th International  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: Conference papers and proceedings
Congresses
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: S Ronchi Della Rocca
ISBN: 9783540732273 3540732276
OCLC Number: 145453786
Description: x, 395 pages : illustrations ; 24 cm
Contents: On a Logical Foundation for Explicit Substitutions.- From Proof-Nets to Linear Logic Type Systems for Polynomial Time Computing.- Strong Normalization and Equi-(Co)Inductive Types.- Semantics for Intuitionistic Arithmetic Based on Tarski Games with Retractable Moves.- The Safe Lambda Calculus.- Intuitionistic Refinement Calculus.- Computation by Prophecy.- An Arithmetical Proof of the Strong Normalization for the ?-Calculus with Recursive Equations on Types.- Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo.- Completing Herbelin's Programme.- Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi.- Ludics is a Model for the Finitary Linear Pi-Calculus.- Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic.- The Omega Rule is -Complete in the ??-Calculus.- Weakly Distributive Domains.- Initial Algebra Semantics Is Enough!.- A Substructural Type System for Delimited Continuations.- The Inhabitation Problem for Rank Two Intersection Types.- Extensional Rewriting with Sums.- Higher-Order Logic Programming Languages with Constraints: A Semantics.- Predicative Analysis of Feasibility and Diagonalization.- Edifices and Full Abstraction for the Symmetric Interaction Combinators.- Two Session Typing Systems for Higher-Order Mobile Processes.- An Isomorphism Between Cut-Elimination Procedure and Proof Reduction.- Polynomial Size Analysis of First-Order Functions.- Simple Saturated Sets for Disjunction and Second-Order Existential Quantification.- Convolution -Calculus.
Series Title: Lecture notes in computer science, 4583.
Other Titles: TLCA 2007
Responsibility: Simona Ronchi della Rocca (ed.).

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/145453786> # Typed lambda calculi and applications : 8th international conference, TLCA 2007, Paris, France, June 26-28, 2007 ; proceedings
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "145453786" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/193484567#Place/berlin> ; # Berlin
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://dewey.info/class/511.35/> ;
    schema:about <http://id.loc.gov/authorities/subjects/sh85074174> ; # Lambda calculus
    schema:about <http://id.worldcat.org/fast/991011> ; # Lambda calculus
    schema:alternateName "TLCA 2007" ;
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/167381138> ; # Simona Ronchi Della Rocca
    schema:copyrightYear "2007" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/193484567#Meeting/international_conference_on_typed_lambda_calculi_and_applications_8th_2007_paris_france> ; # International Conference on Typed Lambda Calculi and Applications (8th : 2007 : Paris, France)
    schema:datePublished "2007" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/193484567> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:name "Typed lambda calculi and applications : 8th international conference, TLCA 2007, Paris, France, June 26-28, 2007 ; proceedings"@en ;
    schema:productID "145453786" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/145453786#PublicationEvent/berlin_new_york_springer_2007> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/193484567#Agent/springer> ; # Springer
    schema:url <https://doi.org/10.1007/978-3-540-73228-0> ;
    schema:url <http://link.springer-ny.com/link/service/series/0558/tocs/t4583.htm> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4583> ;
    schema:workExample <http://worldcat.org/isbn/9783540732273> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/145453786> ;
    .


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/193484567#Meeting/international_conference_on_typed_lambda_calculi_and_applications_8th_2007_paris_france> # International Conference on Typed Lambda Calculi and Applications (8th : 2007 : Paris, France)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/193484567#Place/paris_france> ; # Paris, France)
    schema:name "International Conference on Typed Lambda Calculi and Applications (8th : 2007 : Paris, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/193484567#Place/paris_france> # Paris, France)
    a schema:Place ;
    schema:name "Paris, France)" ;
    .

<http://id.loc.gov/authorities/subjects/sh85074174> # Lambda calculus
    a schema:Intangible ;
    schema:name "Lambda calculus"@en ;
    .

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

<http://viaf.org/viaf/167381138> # Simona Ronchi Della Rocca
    a schema:Person ;
    schema:familyName "Ronchi Della Rocca" ;
    schema:givenName "Simona" ;
    schema:givenName "S." ;
    schema:name "Simona Ronchi Della Rocca" ;
    .

<http://worldcat.org/isbn/9783540732273>
    a schema:ProductModel ;
    schema:isbn "3540732276" ;
    schema:isbn "9783540732273" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/145453786> ; # Typed lambda calculi and applications : 8th international conference, TLCA 2007, Paris, France, June 26-28, 2007 ; proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4583>
    rdfs:comment "Restricted to SpringerLink subscribers" ;
    rdfs:comment "Electronic resource available to Mason students, faculty, staff, and onsite patrons." ;
    rdfs:comment "(access limited to Benedictine University patrons)" ;
    .

<http://www.worldcat.org/title/-/oclc/145453786>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/145453786> ; # Typed lambda calculi and applications : 8th international conference, TLCA 2007, Paris, France, June 26-28, 2007 ; proceedings
    schema:dateModified "2019-06-06" ;
    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.