The Resource Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings, Samson Abramsky (ed.)

Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings, Samson Abramsky (ed.)

Label
Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings
Title
Typed lambda calculi and applications
Title remainder
5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings
Statement of responsibility
Samson Abramsky (ed.)
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
Index
index present
LC call number
QA9.5
LC item number
.I58 2001
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2001
http://bibfra.me/vocab/lite/meetingName
International Conference on Typed Lambda Calculi and Applications
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1953-
http://library.link/vocab/relatedWorkOrContributorName
Abramsky, Samson
http://library.link/vocab/subjectName
  • Lambda calculus
  • calcul logique
  • théorie type
  • lambda calcul typé
  • lambda calcul
  • Lambda-calcul
  • Lambda calculus
  • Lambda-calculus
  • Lambda-calcul
  • Typisierter Lambda-Kalkül
  • Krakau <2001>
Label
Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings, Samson Abramsky (ed.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Many Happy Returns / Olivier Danvy -- From Bounded Arithmetic to Memory Management: Use of Type Theory to Capture Complexity Classes and Space Behaviour / Martin Hofmann -- Definability of Total Objects in PCF and Related Calculi / Dag Normann -- Categorical Semantics of Control / Peter Selinger -- Representations of First Order Function Types as Terminal Coalgebras / Thorsten Altenkirch -- A Finitary Subsystem for the Polymorphic [lambda]-Calculus / Thorsten Altenkirch and Thierry Coquand -- Sequentiality and the [pi]-Calculus / Martin Berger, Kohei Honda and Nobuko Yoshida -- Logical Properties of Name Restriction / Luca Cardelli and Andrew D. Gordon -- Subtyping Recursive Games / Juliusz Chroboczek -- Typing Lambda Terms in Elementary Logic with Linear Constraints / Paolo Coppola and Simone Martini -- Ramified Recurrence with Dependent Types / Norman Danner -- Game Semantics for the Pure Lazy [lambda]-Calculus / Pietro Di Gianantonio -- Reductions, Intersection Types, and Explicit Substitutions / Dan Dougherty and Pierre Lescanne -- The Stratified Foundations as a Theory Modulo / Gilles Dowek -- Normalization by Evaluation for the Computational Lambda-Calculus / Andrzej Filinski -- Induction Is Not Derivable in Second Order Dependent Type Theory / Herman Geuvers -- Strong Normalization of Classical Natural Deduction with Disjunction / Philippe de Groote -- Partially Additive Categories and Fully Complete Models of Linear Logic / Esfandiar Haghverdi -- Distinguishing Data Structures and Functions: The Constructor Calculus and Functorial Types / C. Barry Jay -- The Finitely Generated Types of the [lambda]-Calculus / Thierry Joly -- Deciding Monadic Theories of Hyperalgebraic Trees / Teodor Knapik, Demian Niwinski and Pawel Urzyczyn -- A Deconstruction of Non-deterministic Classical Cut Elimination / James Laird -- A Token Machine for Full Geometry of Interaction / Olivier Laurent -- Second-Order Pre-logical Relations and Representation Independence / Hans Leiss -- Characterizing Convergent Terma in Object Calculi via Intersection Types / Ugo de'Liguoro -- Parigot's Second Order [lambda][mu]-Calculus and Inductive Types / Ralph Matthes -- The Implicit Calculus of Constructions: Extending Pure Type Systems with an Intersection Type Binder and Subtyping / Alexandre Miquel -- Evolving Games and Essential Nets for Affine Polymorphism / Andrzej S. Murawski and C.-H. Luke Ong -- Retracts in Simple Types / Vincent Padovani -- Parallel Implementation Models for the [lambda]-Calculus Using the Geometry of Interaction / Jorge Sousa Pinto -- The Complexity of [beta]-Reduction in Low Orders / Aleksy Schubert -- Strong Normalisation for a Gentzen-like Cut-Elimination Procedure / Christian Urban
Dimensions
24 cm.
Dimensions
unknown
Extent
xi, 429 pages
Isbn
9783540419600
Lccn
2001031431
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)46785300
  • (OCoLC)ocm46785300
Label
Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings, Samson Abramsky (ed.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Many Happy Returns / Olivier Danvy -- From Bounded Arithmetic to Memory Management: Use of Type Theory to Capture Complexity Classes and Space Behaviour / Martin Hofmann -- Definability of Total Objects in PCF and Related Calculi / Dag Normann -- Categorical Semantics of Control / Peter Selinger -- Representations of First Order Function Types as Terminal Coalgebras / Thorsten Altenkirch -- A Finitary Subsystem for the Polymorphic [lambda]-Calculus / Thorsten Altenkirch and Thierry Coquand -- Sequentiality and the [pi]-Calculus / Martin Berger, Kohei Honda and Nobuko Yoshida -- Logical Properties of Name Restriction / Luca Cardelli and Andrew D. Gordon -- Subtyping Recursive Games / Juliusz Chroboczek -- Typing Lambda Terms in Elementary Logic with Linear Constraints / Paolo Coppola and Simone Martini -- Ramified Recurrence with Dependent Types / Norman Danner -- Game Semantics for the Pure Lazy [lambda]-Calculus / Pietro Di Gianantonio -- Reductions, Intersection Types, and Explicit Substitutions / Dan Dougherty and Pierre Lescanne -- The Stratified Foundations as a Theory Modulo / Gilles Dowek -- Normalization by Evaluation for the Computational Lambda-Calculus / Andrzej Filinski -- Induction Is Not Derivable in Second Order Dependent Type Theory / Herman Geuvers -- Strong Normalization of Classical Natural Deduction with Disjunction / Philippe de Groote -- Partially Additive Categories and Fully Complete Models of Linear Logic / Esfandiar Haghverdi -- Distinguishing Data Structures and Functions: The Constructor Calculus and Functorial Types / C. Barry Jay -- The Finitely Generated Types of the [lambda]-Calculus / Thierry Joly -- Deciding Monadic Theories of Hyperalgebraic Trees / Teodor Knapik, Demian Niwinski and Pawel Urzyczyn -- A Deconstruction of Non-deterministic Classical Cut Elimination / James Laird -- A Token Machine for Full Geometry of Interaction / Olivier Laurent -- Second-Order Pre-logical Relations and Representation Independence / Hans Leiss -- Characterizing Convergent Terma in Object Calculi via Intersection Types / Ugo de'Liguoro -- Parigot's Second Order [lambda][mu]-Calculus and Inductive Types / Ralph Matthes -- The Implicit Calculus of Constructions: Extending Pure Type Systems with an Intersection Type Binder and Subtyping / Alexandre Miquel -- Evolving Games and Essential Nets for Affine Polymorphism / Andrzej S. Murawski and C.-H. Luke Ong -- Retracts in Simple Types / Vincent Padovani -- Parallel Implementation Models for the [lambda]-Calculus Using the Geometry of Interaction / Jorge Sousa Pinto -- The Complexity of [beta]-Reduction in Low Orders / Aleksy Schubert -- Strong Normalisation for a Gentzen-like Cut-Elimination Procedure / Christian Urban
Dimensions
24 cm.
Dimensions
unknown
Extent
xi, 429 pages
Isbn
9783540419600
Lccn
2001031431
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)46785300
  • (OCoLC)ocm46785300

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...