skip to content
Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings Preview this item
ClosePreview this item
Checking...

Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings

Author: Paweł Urzyczyn
Publisher: Berlin : Springer, ©2005.
Series: Lecture notes in computer science, 3461.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:
The 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from 21 to 23 April 2005, as part of the Joint Conference on Rewriting, Deduction and Programming (RDP 2005). This book contains the contributed papers, and extended abstracts of two invited talks, given by Thierry Coquand and Susumu Hayashi. A short abstract of the joint RDP invited lecture by Amy Felty is  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
Conference papers and proceedings
Congresses
Congrès
Additional Physical Format: Print version:
International Conference on Typed Lambda Calculi and Applications (7th : 2005 : Nara, Japan).
Typed lambda calculi and applications.
Berlin : Springer, ©2005
(DLC) 2005924303
(OCoLC)60285877
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Paweł Urzyczyn
ISBN: 9783540320142 3540320148 3540255931 9783540255932
OCLC Number: 262677933
Description: 1 online resource (xi, 432 pages) : illustrations.
Contents: Completeness Theorems and ?-Calculus.- Completeness Theorems and ?-Calculus.- A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code: Abstract.- Can Proofs Be Animated By Games?.- Contributed Papers.- Untyped Algorithmic Equality for Martin-Lof's Logical Framework with Surjective Pairs.- The Monadic Second Order Theory of Trees Given by Arbitrary Level-Two Recursion Schemes Is Decidable.- A Feasible Algorithm for Typing in Elementary Affine Logic.- Practical Inference for Type-Based Termination in a Polymorphic Setting.- Relational Reasoning in a Nominal Semantics for Storage.- Filters on CoInductive Streams, an Application to Eratosthenes' Sieve.- Recursive Functions with Higher Order Domains.- Elementary Affine Logic and the Call-by-Value Lambda Calculus.- Rank-2 Intersection and Polymorphic Recursion.- Arithmetical Proofs of Strong Normalization Results for the Symmetric ??-Calculus.- Subtyping Recursive Types Modulo Associative Commutative Products.- Galois Embedding from Polymorphic Types into Existential Types.- On the Degeneracy of ?-Types in Presence of Computational Classical Logic.- Semantic Cut Elimination in the Intuitionistic Sequent Calculus.- The Elimination of Nesting in SPCF.- Naming Proofs in Classical Propositional Logic.- Reducibility and ???-Lifting for Computation Types.- Privacy in Data Mining Using Formal Methods.- L3: A Linear Language with Locations.- Binding Signatures for Generic Contexts.- Proof Contexts with Late Binding.- The -Calculus. Functional Programming with Higher-Order Encodings.- A Lambda Calculus for Quantum Computation with Classical Control.- Continuity and Discontinuity in Lambda Calculus.- Call-by-Name and Call-by-Value as Token-Passing Interaction Nets.- Avoiding Equivariance in Alpha-Prolog.- Higher-Order Abstract Non-interference.
Series Title: Lecture notes in computer science, 3461.
Other Titles: TLCA 2005
Responsibility: Pawel Urzyczyn.

Abstract:

The 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from 21 to 23 April 2005, as part of the Joint Conference on Rewriting, Deduction and Programming (RDP 2005). This book contains the contributed papers, and extended abstracts of two invited talks, given by Thierry Coquand and Susumu Hayashi. A short abstract of the joint RDP invited lecture by Amy Felty is also included. The 27 contributed papers were selected from 61 submissions of generally very high quality, and the Program Committee had a hard time making the selection. The editor would like to thank everyone who submitted a paper and to express his regret that many interesting works could not be included. The editor also wishes to thank the invited speakers, the members of the Program and Organizing Committees, the Publicity Chair, and the referees for their joint e?ort towards the success of the conference. The support from the Nara Convention Bureau is gratefully acknowledged. The typed lambda calculus continues to be an important tool in logic and theoretical computer science. Since 1993, the research progress in this area has been documented by the TLCA proceedings. The present volume contributes to this tradition.

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/262677933> # Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "262677933" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/930619918#Topic/informatique> ; # Informatique
    schema:about <http://experiment.worldcat.org/entity/work/data/930619918#Topic/lambda_calculus> ; # Lambda calculus
    schema:about <http://experiment.worldcat.org/entity/work/data/930619918#Topic/lambda_calcul_type> ; # Lambda-calcul typé
    schema:about <http://dewey.info/class/511.3/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/930619918#Topic/lambda_calcul> ; # Lambda-calcul
    schema:about <http://id.loc.gov/authorities/subjects/sh85074174> ; # Lambda calculus
    schema:about <http://experiment.worldcat.org/entity/work/data/930619918#Topic/informatique_appliquee> ; # Informatique appliquée
    schema:alternateName "TLCA 2005" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/17521663> ; # Paweł Urzyczyn
    schema:creator <http://experiment.worldcat.org/entity/work/data/930619918#Meeting/international_conference_on_typed_lambda_calculi_and_applications_7th_2005_nara_japan> ; # International Conference on Typed Lambda Calculi and Applications (7th : 2005 : Nara, Japan)
    schema:datePublished "2005" ;
    schema:description "The 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from 21 to 23 April 2005, as part of the Joint Conference on Rewriting, Deduction and Programming (RDP 2005). This book contains the contributed papers, and extended abstracts of two invited talks, given by Thierry Coquand and Susumu Hayashi. A short abstract of the joint RDP invited lecture by Amy Felty is also included. The 27 contributed papers were selected from 61 submissions of generally very high quality, and the Program Committee had a hard time making the selection. The editor would like to thank everyone who submitted a paper and to express his regret that many interesting works could not be included. The editor also wishes to thank the invited speakers, the members of the Program and Organizing Committees, the Publicity Chair, and the referees for their joint e?ort towards the success of the conference. The support from the Nara Convention Bureau is gratefully acknowledged. The typed lambda calculus continues to be an important tool in logic and theoretical computer science. Since 1993, the research progress in this area has been documented by the TLCA proceedings. The present volume contributes to this tradition."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/930619918> ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/60285877> ;
    schema:name "Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings"@en ;
    schema:productID "262677933" ;
    schema:url <http://site.ebrary.com/id/10528850> ;
    schema:url <http://www.myilibrary.com?id=140258> ;
    schema:url <http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3461> ;
    schema:url <http://rave.ohiolink.edu/ebooks/ebc/11417170> ;
    schema:url <http://www.springerlink.com/link.asp?id=hnh8q0ga1teyfygv> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-25593-2> ;
    schema:url <http://public.eblib.com/choice/PublicFullRecord.aspx?p=3067898> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-25593-2> ;
    schema:url <http://dx.doi.org/10.1007/b135690> ;
    schema:workExample <http://worldcat.org/isbn/9783540320142> ;
    schema:workExample <http://worldcat.org/isbn/9783540255932> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA541268> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/262677933> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/930619918#Meeting/international_conference_on_typed_lambda_calculi_and_applications_7th_2005_nara_japan> # International Conference on Typed Lambda Calculi and Applications (7th : 2005 : Nara, Japan)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/930619918#Place/nara_japan> ; # Nara, Japan)
    schema:name "International Conference on Typed Lambda Calculi and Applications (7th : 2005 : Nara, Japan)" ;
    .

<http://experiment.worldcat.org/entity/work/data/930619918#Topic/informatique_appliquee> # Informatique appliquée
    a schema:Intangible ;
    schema:name "Informatique appliquée"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/930619918#Topic/lambda_calcul_type> # Lambda-calcul typé
    a schema:Intangible ;
    schema:name "Lambda-calcul typé"@en ;
    .

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

<http://viaf.org/viaf/17521663> # Paweł Urzyczyn
    a schema:Person ;
    schema:familyName "Urzyczyn" ;
    schema:givenName "Paweł" ;
    schema:name "Paweł Urzyczyn" ;
    .

<http://worldcat.org/isbn/9783540255932>
    a schema:ProductModel ;
    schema:isbn "3540255931" ;
    schema:isbn "9783540255932" ;
    .

<http://worldcat.org/isbn/9783540320142>
    a schema:ProductModel ;
    schema:isbn "3540320148" ;
    schema:isbn "9783540320142" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/262677933> ; # Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/oclc/60285877>
    a schema:CreativeWork ;
    rdfs:label "Typed lambda calculi and applications." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/262677933> ; # Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/262677933>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/262677933> ; # Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings
    schema:dateModified "2016-12-08" ;
    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.