The Resource Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings, Jean-Yves Girard (ed.)

Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings, Jean-Yves Girard (ed.)

Label
Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings
Title
Typed lambda calculi and applications
Title remainder
4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings
Statement of responsibility
Jean-Yves Girard (ed.)
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
Illustrations
illustrations
Index
index present
LC call number
QA9.5
LC item number
.I58 1999
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1999
http://bibfra.me/vocab/lite/meetingName
International Conference on Typed Lambda Calculi and Applications
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
Girard, Jean-Yves
http://library.link/vocab/subjectName
  • Lambda calculus
  • type donnée
  • calcul logique
  • théorie type
  • langage formel
  • lambda calcul
  • Lambda-calcul
  • Lambda calculus
  • Lambda-calculus
  • Logica matematica
  • Programacao de computadores
  • Lambda-calcul
  • Typisierter Lambda-Kalkül
  • Deklarative Programmierung
  • L'Aquila <1999>
Label
Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings, Jean-Yves Girard (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
  • The Coordination Language Facility and Applications / J.-M. Andreoli -- AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem / P. H. Eidorff, F. Henglein and C. Mossin -- Modules in Non-commutative Logic / V. M. Abrusci -- Elementary Complexity and Geometry of Interaction / P. Baillot and M. Pedicini -- Quantitative Semantics Revisited / N. Barreiro and T. Ehrhard -- Total Functionals and Well-Founded Strategies / S. Berardi and U. de'Liguoro -- Counting a Type's Principal Inhabitants / S. Broda and L. Damas -- Useless-Code Detection and Elimination for PCF with Algebraic Data types / F. Damiani -- Every Unsolvable [lambda] Term has a Decoration / R. David -- Game Semantics for Untyped [lambda][beta][eta]-Calculus / P. Di Gianantonio, G. Franco and F. Honsell -- A Finite Axiomatization of Inductive-Recursive Definitions / P. Dybjer and A. Setzer -- Lambda Definability with Sums via Grothendieck Logical Relations / M. Fiore and A. Simpson -- Explicitly Typed [lambda][mu]-Calculus for Polymorphism and Call-by-Value / K. Fujita -- Soundness of the Logical Framework for Its Typed Operational Semantics / H. Goguen -- Logical Predicates for Intuitionistic Linear Type Theories / M. Hasegawa -- Polarized Proof-Nets: Proof-Nets for LC / O. Laurent -- Call-by-Push-Value: A Subsuming Paradigm / P. B. Levy -- A Study of Abramsky's Linear Chemical Abstract Machine / S. Mikami and Y. Akama -- Resource Interpretations, Bunched Implications and the [alpha][lambda]-Calculus / P. W. O'Hearn -- A Curry-Howard Isomorphism for Compilation and Program Execution / A. Ohori -- Natural Deduction for Intuitionistic Non-commutative Linear Logic / J. Polakow and F. Pfenning -- A Logic for Abstract Data Types as Existential Types / E. Poll and J. Zwanenburg -- Characterising Explicit Substitutions which Preserve Termination / E. Ritter -- Explicit Environments / M. Sato, T. Sakurai and R. Burstall
  • Consequences of Jacopini's Theorem: Consistent Equalities and Equations / R. Statman -- Strong Normalisation of Cut-Elimination in Classical Logic / C. Urban and G. M. Bierman -- Pure Type Systems with Subtyping / J. Zwanenburg
Dimensions
24 cm.
Dimensions
unknown
Extent
viii, 396 pages
Isbn
9783540657637
Lccn
99014931
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Specific material designation
remote
System control number
  • (OCoLC)41070648
  • (OCoLC)ocm41070648
Label
Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings, Jean-Yves Girard (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
  • The Coordination Language Facility and Applications / J.-M. Andreoli -- AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem / P. H. Eidorff, F. Henglein and C. Mossin -- Modules in Non-commutative Logic / V. M. Abrusci -- Elementary Complexity and Geometry of Interaction / P. Baillot and M. Pedicini -- Quantitative Semantics Revisited / N. Barreiro and T. Ehrhard -- Total Functionals and Well-Founded Strategies / S. Berardi and U. de'Liguoro -- Counting a Type's Principal Inhabitants / S. Broda and L. Damas -- Useless-Code Detection and Elimination for PCF with Algebraic Data types / F. Damiani -- Every Unsolvable [lambda] Term has a Decoration / R. David -- Game Semantics for Untyped [lambda][beta][eta]-Calculus / P. Di Gianantonio, G. Franco and F. Honsell -- A Finite Axiomatization of Inductive-Recursive Definitions / P. Dybjer and A. Setzer -- Lambda Definability with Sums via Grothendieck Logical Relations / M. Fiore and A. Simpson -- Explicitly Typed [lambda][mu]-Calculus for Polymorphism and Call-by-Value / K. Fujita -- Soundness of the Logical Framework for Its Typed Operational Semantics / H. Goguen -- Logical Predicates for Intuitionistic Linear Type Theories / M. Hasegawa -- Polarized Proof-Nets: Proof-Nets for LC / O. Laurent -- Call-by-Push-Value: A Subsuming Paradigm / P. B. Levy -- A Study of Abramsky's Linear Chemical Abstract Machine / S. Mikami and Y. Akama -- Resource Interpretations, Bunched Implications and the [alpha][lambda]-Calculus / P. W. O'Hearn -- A Curry-Howard Isomorphism for Compilation and Program Execution / A. Ohori -- Natural Deduction for Intuitionistic Non-commutative Linear Logic / J. Polakow and F. Pfenning -- A Logic for Abstract Data Types as Existential Types / E. Poll and J. Zwanenburg -- Characterising Explicit Substitutions which Preserve Termination / E. Ritter -- Explicit Environments / M. Sato, T. Sakurai and R. Burstall
  • Consequences of Jacopini's Theorem: Consistent Equalities and Equations / R. Statman -- Strong Normalisation of Cut-Elimination in Classical Logic / C. Urban and G. M. Bierman -- Pure Type Systems with Subtyping / J. Zwanenburg
Dimensions
24 cm.
Dimensions
unknown
Extent
viii, 396 pages
Isbn
9783540657637
Lccn
99014931
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Specific material designation
remote
System control number
  • (OCoLC)41070648
  • (OCoLC)ocm41070648

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 ...