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

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

Industry Sectors
IT & Software
Consumer Packaged Goods
Finance, Business & Banking