Types for Proofs and Programs

International Workshop, TYPES’ 98 Kloster Irsee, Germany, March 27–31, 1998 Selected Papers

  • Thorsten Altenkirch
  • Bernhard Reus
  • Wolfgang Naraschewski

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1657)

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Thierry Coquand, Henrik Persson
    Pages 33-46
  3. Joëlle Despeyroux, Pierre Leleu
    Pages 47-62
  4. Gilles Dowek, Benjamin Werner
    Pages 62-77
  5. Jean-Christophe Filliâtre
    Pages 78-92
  6. Jean Goubault-Larrecq
    Pages 106-120
  7. Florian Kammüller
    Pages 121-133
  8. Thomas Kleymann
    Pages 133-149
  9. Luigi Liquori
    Pages 149-165
  10. Maria Emilia Maietti
    Pages 166-178
  11. Giovanni Sambin, Silvia Gebellato
    Pages 194-208

About these proceedings

Keywords

Formal Verification Program Semantics Proof Theory Type Systems Type Theory algorithm algorithms verification

Editors and affiliations

  • Thorsten Altenkirch
    • 1
  • Bernhard Reus
    • 1
  • Wolfgang Naraschewski
    • 2
  1. 1.Ludwig-Maximilians-UniversitätInstitut für InformatikMünchenGermany
  2. 2.Technische Universität MünchenInstitut für InformatikMünchenGermany

Bibliographic information

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