skip to content
Typed Lambda Calculi and Applications : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings Preview this item
ClosePreview this item
Checking...

Typed Lambda Calculi and Applications : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings

Author: David HutchisonMoni NaorTakeo KanadeMadhu SudanJon M KleinbergAll authors
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Series: Lecture notes in computer science, 5608.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
This book constitutes the refereed proceedings of the 9th International Conference on Typed Lambda Calculi and Applications, TLCA 2009, held in Brasilia, Brazil in July 2008 in conjunction with RTA 2007, the 19th International Conference on Rewriting Techniques and Applications as part of RDP 2009, the 5th International Conference on Rewriting, Deduction, and Programming. The 27 revised full papers presented  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: Printed edition:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: David Hutchison; Moni Naor; Takeo Kanade; Madhu Sudan; Jon M Kleinberg; Gerhard Weikum; John C Mitchell; Oscar Nierstrasz; C Pandu Rangan; Bernhard Steffen; Josef Kittler; Demetri Terzopoulos; Doug Tygar; Moshe Y Vardi; P -L Curien; Friedemann Mattern
ISBN: 9783642022739 3642022731 9783642022722 3642022723
OCLC Number: 428884825
Description: 1 online resource (: v.: digital.
Contents: Mathematical Synthesis of Equational Deduction Systems --
A Pronominal Approach to Binding and Computation --
A Modular Type-Checking Algorithm for Type Theory with Singleton Types and Proof Irrelevance --
Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM 1 --
Syntax for Free: Representing Syntax with Binding Using Parametricity --
On the Meaning of Logical Completeness --
Thick Subtrees, Games and Experiments --
Bounded Linear Logic, Revisited --
Partial Orders, Event Structures and Linear Strategies --
Existential Type Systems with No Types in Terms --
Initial Algebra Semantics for Cyclic Sharing Structures --
An Operational Account of Call-by-Value Minimal and Classical?-Calculus in "Natural Deduction" Form --
Refinement Types as Proof Irrelevance --
Weak?-Categories from Intensional Type Theory --
Relating Classical Realizability and Negative Translation for Existential Witness Extraction --
Session-Based Communication Optimisation for Higher-Order Mobile Processes --
The Cut-Elimination Theorem for Differential Nets with Promotion --
A Polymorphic Type System for the Lambda-Calculus with Constructors --
Kripke Semantics for Martin-Löf's Extensional Type Theory --
On the Values of Reducibility Candidates --
Lexicographic Path Induction --
Parametricity for Haskell with Imprecise Error Semantics --
Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic --
Algebraic Totality, towards Completeness --
A Logical Foundation for Environment Classifiers --
Inhabitation of Low-Rank Intersection Types --
Differential Linear Logic and Polarization --
Complexity of Gödel's T in?-Formulation --
The Computational SLR: A Logic for Reasoning about Computational Indistinguishability.
Series Title: Lecture notes in computer science, 5608.
Responsibility: edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Pierre-Louis Curien.

Abstract:

This book constitutes the refereed proceedings of the 9th International Conference on Typed Lambda Calculi and Applications, TLCA 2009, held in Brasilia, Brazil in July 2008 in conjunction with RTA 2007, the 19th International Conference on Rewriting Techniques and Applications as part of RDP 2009, the 5th International Conference on Rewriting, Deduction, and Programming. The 27 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 53 submissions. The papers present original research results that are broadly relevant to the theory and applications of typed calculi and address a wide variety of topics such as proof-theory, semantics, implementation, types, and programming.

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/428884825> # Typed Lambda Calculi and Applications : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
   library:oclcnum "428884825" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/900080603#Place/berlin_heidelberg> ; # Berlin, Heidelberg
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://id.worldcat.org/fast/1002045> ; # Logic design
   schema:about <http://dewey.info/class/511.3/e22/> ;
   schema:about <http://id.worldcat.org/fast/906956> ; # Electronic data processing
   schema:about <http://id.loc.gov/authorities/subjects/sh2007100982> ; # Algebra--Data processing
   schema:about <http://id.worldcat.org/fast/804890> ; # Algebra--Data processing
   schema:bookFormat schema:EBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/900080603#Person/vardi_moshe_y> ; # Moshe Y. Vardi
   schema:contributor <http://viaf.org/viaf/38149066394665601007> ; # Doug Tygar
   schema:contributor <http://experiment.worldcat.org/entity/work/data/900080603#Person/steffen_bernhard> ; # Bernhard Steffen
   schema:contributor <http://experiment.worldcat.org/entity/work/data/900080603#Person/kittler_josef> ; # Josef Kittler
   schema:contributor <http://experiment.worldcat.org/entity/work/data/900080603#Person/weikum_gerhard> ; # Gerhard Weikum
   schema:contributor <http://experiment.worldcat.org/entity/work/data/900080603#Person/mitchell_john_c> ; # John C. Mitchell
   schema:contributor <http://viaf.org/viaf/162691482> ; # Jon M. Kleinberg
   schema:contributor <http://experiment.worldcat.org/entity/work/data/900080603#Person/nierstrasz_oscar> ; # Oscar Nierstrasz
   schema:contributor <http://viaf.org/viaf/32154680> ; # Madhu Sudan
   schema:contributor <http://viaf.org/viaf/67527661> ; # Moni Naor
   schema:contributor <http://experiment.worldcat.org/entity/work/data/900080603#Person/terzopoulos_demetri> ; # Demetri Terzopoulos
   schema:contributor <http://experiment.worldcat.org/entity/work/data/900080603#Person/pandu_rangan_c> ; # C. Pandu Rangan
   schema:contributor <http://experiment.worldcat.org/entity/work/data/900080603#Person/kanade_takeo> ; # Takeo Kanade
   schema:contributor <http://viaf.org/viaf/93441320> ; # Pierre-Louis Curien
   schema:contributor <http://experiment.worldcat.org/entity/work/data/900080603#Person/mattern_friedemann> ; # Friedemann Mattern
   schema:creator <http://experiment.worldcat.org/entity/work/data/900080603#Person/hutchison_david> ; # David Hutchison
   schema:datePublished "2009" ;
   schema:description "Mathematical Synthesis of Equational Deduction Systems -- A Pronominal Approach to Binding and Computation -- A Modular Type-Checking Algorithm for Type Theory with Singleton Types and Proof Irrelevance -- Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM 1 -- Syntax for Free: Representing Syntax with Binding Using Parametricity -- On the Meaning of Logical Completeness -- Thick Subtrees, Games and Experiments -- Bounded Linear Logic, Revisited -- Partial Orders, Event Structures and Linear Strategies -- Existential Type Systems with No Types in Terms -- Initial Algebra Semantics for Cyclic Sharing Structures -- An Operational Account of Call-by-Value Minimal and Classical?-Calculus in "Natural Deduction" Form -- Refinement Types as Proof Irrelevance -- Weak?-Categories from Intensional Type Theory -- Relating Classical Realizability and Negative Translation for Existential Witness Extraction -- Session-Based Communication Optimisation for Higher-Order Mobile Processes -- The Cut-Elimination Theorem for Differential Nets with Promotion -- A Polymorphic Type System for the Lambda-Calculus with Constructors -- Kripke Semantics for Martin-Löf's Extensional Type Theory -- On the Values of Reducibility Candidates -- Lexicographic Path Induction -- Parametricity for Haskell with Imprecise Error Semantics -- Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic -- Algebraic Totality, towards Completeness -- A Logical Foundation for Environment Classifiers -- Inhabitation of Low-Rank Intersection Types -- Differential Linear Logic and Polarization -- Complexity of Gödel's T in?-Formulation -- The Computational SLR: A Logic for Reasoning about Computational Indistinguishability."@en ;
   schema:description "This book constitutes the refereed proceedings of the 9th International Conference on Typed Lambda Calculi and Applications, TLCA 2009, held in Brasilia, Brazil in July 2008 in conjunction with RTA 2007, the 19th International Conference on Rewriting Techniques and Applications as part of RDP 2009, the 5th International Conference on Rewriting, Deduction, and Programming. The 27 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 53 submissions. The papers present original research results that are broadly relevant to the theory and applications of typed calculi and address a wide variety of topics such as proof-theory, semantics, implementation, types, and programming."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/900080603> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
   schema:isSimilarTo <http://worldcat.org/entity/work/data/900080603#CreativeWork/> ;
   schema:name "Typed Lambda Calculi and Applications : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings"@en ;
   schema:productID "428884825" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/428884825#PublicationEvent/berlin_heidelberg_springer_berlin_heidelberg_2009> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/900080603#Agent/springer_berlin_heidelberg> ; # Springer Berlin Heidelberg
   schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3064358> ;
   schema:url <http://dx.doi.org/10.1007/978-3-642-02273-9> ;
   schema:workExample <http://worldcat.org/isbn/9783642022739> ;
   schema:workExample <http://worldcat.org/isbn/9783642022722> ;
   schema:workExample <http://dx.doi.org/10.1007/978-3-642-02273-9> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/428884825> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/900080603#Person/hutchison_david> # David Hutchison
    a schema:Person ;
   schema:familyName "Hutchison" ;
   schema:givenName "David" ;
   schema:name "David Hutchison" ;
    .

<http://experiment.worldcat.org/entity/work/data/900080603#Person/kanade_takeo> # Takeo Kanade
    a schema:Person ;
   schema:familyName "Kanade" ;
   schema:givenName "Takeo" ;
   schema:name "Takeo Kanade" ;
    .

<http://experiment.worldcat.org/entity/work/data/900080603#Person/kittler_josef> # Josef Kittler
    a schema:Person ;
   schema:familyName "Kittler" ;
   schema:givenName "Josef" ;
   schema:name "Josef Kittler" ;
    .

<http://experiment.worldcat.org/entity/work/data/900080603#Person/mattern_friedemann> # Friedemann Mattern
    a schema:Person ;
   schema:familyName "Mattern" ;
   schema:givenName "Friedemann" ;
   schema:name "Friedemann Mattern" ;
    .

<http://experiment.worldcat.org/entity/work/data/900080603#Person/mitchell_john_c> # John C. Mitchell
    a schema:Person ;
   schema:familyName "Mitchell" ;
   schema:givenName "John C." ;
   schema:name "John C. Mitchell" ;
    .

<http://experiment.worldcat.org/entity/work/data/900080603#Person/nierstrasz_oscar> # Oscar Nierstrasz
    a schema:Person ;
   schema:familyName "Nierstrasz" ;
   schema:givenName "Oscar" ;
   schema:name "Oscar Nierstrasz" ;
    .

<http://experiment.worldcat.org/entity/work/data/900080603#Person/pandu_rangan_c> # C. Pandu Rangan
    a schema:Person ;
   schema:familyName "Pandu Rangan" ;
   schema:givenName "C." ;
   schema:name "C. Pandu Rangan" ;
    .

<http://experiment.worldcat.org/entity/work/data/900080603#Person/steffen_bernhard> # Bernhard Steffen
    a schema:Person ;
   schema:familyName "Steffen" ;
   schema:givenName "Bernhard" ;
   schema:name "Bernhard Steffen" ;
    .

<http://experiment.worldcat.org/entity/work/data/900080603#Person/terzopoulos_demetri> # Demetri Terzopoulos
    a schema:Person ;
   schema:familyName "Terzopoulos" ;
   schema:givenName "Demetri" ;
   schema:name "Demetri Terzopoulos" ;
    .

<http://experiment.worldcat.org/entity/work/data/900080603#Person/vardi_moshe_y> # Moshe Y. Vardi
    a schema:Person ;
   schema:familyName "Vardi" ;
   schema:givenName "Moshe Y." ;
   schema:name "Moshe Y. Vardi" ;
    .

<http://experiment.worldcat.org/entity/work/data/900080603#Person/weikum_gerhard> # Gerhard Weikum
    a schema:Person ;
   schema:familyName "Weikum" ;
   schema:givenName "Gerhard" ;
   schema:name "Gerhard Weikum" ;
    .

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

<http://id.loc.gov/authorities/subjects/sh2007100982> # Algebra--Data processing
    a schema:Intangible ;
   schema:name "Algebra--Data processing"@en ;
    .

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

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/804890> # Algebra--Data processing
    a schema:Intangible ;
   schema:name "Algebra--Data processing"@en ;
    .

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

<http://id.worldcat.org/fast/906956> # Electronic data processing
    a schema:Intangible ;
   schema:name "Electronic data processing"@en ;
    .

<http://viaf.org/viaf/162691482> # Jon M. Kleinberg
    a schema:Person ;
   schema:familyName "Kleinberg" ;
   schema:givenName "Jon M." ;
   schema:name "Jon M. Kleinberg" ;
    .

<http://viaf.org/viaf/32154680> # Madhu Sudan
    a schema:Person ;
   schema:familyName "Sudan" ;
   schema:givenName "Madhu" ;
   schema:name "Madhu Sudan" ;
    .

<http://viaf.org/viaf/38149066394665601007> # Doug Tygar
    a schema:Person ;
   schema:familyName "Tygar" ;
   schema:givenName "Doug" ;
   schema:name "Doug Tygar" ;
    .

<http://viaf.org/viaf/67527661> # Moni Naor
    a schema:Person ;
   schema:familyName "Naor" ;
   schema:givenName "Moni" ;
   schema:name "Moni Naor" ;
    .

<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/entity/work/data/900080603#CreativeWork/>
    a schema:CreativeWork ;
   schema:description "Printed edition:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/428884825> ; # Typed Lambda Calculi and Applications : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings
    .

<http://worldcat.org/isbn/9783642022722>
    a schema:ProductModel ;
   schema:isbn "3642022723" ;
   schema:isbn "9783642022722" ;
    .

<http://worldcat.org/isbn/9783642022739>
    a schema:ProductModel ;
   schema:isbn "3642022731" ;
   schema:isbn "9783642022739" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/428884825> ; # Typed Lambda Calculi and Applications : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/428884825>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/428884825> ; # Typed Lambda Calculi and Applications : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings
   schema:dateModified "2017-10-23" ;
   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.