Types for Proofs and Programs

International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

  • Editors
  • Thorsten Altenkirch
  • Conor McBride
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4502)

Table of contents

  1. Front Matter
  2. Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli
    Pages 18-32
  3. Richard Bonichon, Olivier Hermant
    Pages 33-47
  4. Venanzio Capretta, Amy P. Felty
    Pages 63-77
  5. Pierre Corbineau
    Pages 78-92
  6. Maribel Fernández, Murdoch J. Gabbay
    Pages 125-139
  7. Florian Haftmann, Makarius Wenzel
    Pages 160-174
  8. Florent Kirchner
    Pages 188-202
  9. Hugo R. Simões, Kevin Hammond, Mário Florido, Pedro Vasconcelos
    Pages 221-236
  10. Matthieu Sozeau
    Pages 237-252
  11. Back Matter

About these proceedings

Keywords

Isabell Isabelle algorithms formal methods formal reasoning formal verification functional programming higher order logic logic programming programming language subtyping type systems types verification

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-74464-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-74463-4
  • Online ISBN 978-3-540-74464-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book