Table of contents

  1. Front Matter
  2. Andrea Asperti, Cosimo Laneve
    Pages 1-15
  3. Gilles Barthe
    Pages 16-31
  4. Roberto Bellucci, Martin Abadi, Pierre-Louis Curien
    Pages 32-46
  5. Stefano Berardi, Marc Bezem, Thierry Coquand
    Pages 47-62
  6. S. Berardi, L. Boerio
    Pages 63-77
  7. Daniel Briaud
    Pages 94-108
  8. Yann Coscoy, Gilles Kahn, Laurent Théry
    Pages 109-123
  9. Joëlle Despeyroux, Amy Felty, André Hirschowitz
    Pages 124-138
  10. Roberto Di Cosmo, Adolfo Pipemo
    Pages 139-153
  11. Neil Ghani
    Pages 171-185
  12. Healfdene Goguen
    Pages 186-200
  13. Philippe de Groote
    Pages 201-215
  14. Martin Hofmann
    Pages 216-234
  15. M. Randall Holmes
    Pages 235-248
  16. Furio Honsell, Marina Lenisa
    Pages 249-265
  17. Antonius J. C. Hurkens
    Pages 266-278
  18. Toshihiko Kurata, Masako Takahashi
    Pages 297-311
  19. Vincent Padovani
    Pages 335-349
  20. Jaco van de Pol, Helmut Schwichtenberg
    Pages 350-364
  21. Robert Pollack
    Pages 365-380
  22. A. Pravato, S. Ronchi della Rocca, L. Roversi
    Pages 381-396
  23. Back Matter

About these proceedings


This volume presents the proceedings of the Second International Conference on Typed Lambda Calculi and Applications, held in Edinburgh, UK in April 1995.
The book contains 29 full revised papers selected from 58 submissions and comprehensively reports the state of the art in the field. The following topics are addressed: proof theory of type systems, logic and type systems, typed lambda calculi as models of (higher-order) computation, semantics of type systems, proof verification via type systems, type systems of programming languages, and typed term rewriting systems.


lambda calculus logic programming programming language proof theory semantics verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1995
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-59048-4
  • Online ISBN 978-3-540-49178-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site