Typed Lambda Calculi and Applications

4th International Conference, TLCA’99 L’Aquila, Italy, April 7–9, 1999 Proceedings

  • Jean-Yves Girard
Conference proceedings TLCA 1999
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1581)

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Invited Demonstration

    1. Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine B. Sörensen, Mads Tofte
      Pages 6-13
  3. Contributions

    1. V. Michele Abrusci
      Pages 14-24
    2. Patrick Baillot, Marco Pedicini
      Pages 25-33
    3. Nuno Barreiro, Thomas Ehrhard
      Pages 40-53
    4. Stefano Berardi, Ugo de’Liguoro
      Pages 54-68
    5. Sabine Broda, Luís Damas
      Pages 69-82
    6. Pietro Di Gianantonio, Gianluca Franco, Furio Honsell
      Pages 114-128
    7. Peter Dybjer, Anton Setzer
      Pages 129-146
    8. Marcelo Fiore, Alex Simpson
      Pages 147-161
    9. Olivier Laurent
      Pages 213-227
    10. Paul Blain Levy
      Pages 228-243
    11. Seikoh Mikami, Yohji Akama
      Pages 243-257

About these proceedings

Keywords

Counting commutative property complexity differential equation geometry lambda calculus logic proof semantics type theory

Editors and affiliations

  • Jean-Yves Girard
    • 1
  1. 1.CNRS - UPR9016Institut de Mathématiques de LuminyMarseille cedex 9France

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-48959-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-65763-7
  • Online ISBN 978-3-540-48959-7
  • Series Print ISSN 0302-9743
  • About this book