Advertisement

Types for Proofs and Programs

International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

  • Jean-Christophe Filliâtre
  • Christine Paulin-Mohring
  • Benjamin Werner
Conference proceedings TYPES 2004

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

Table of contents

  1. Front Matter
  2. Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli
    Pages 17-32
  3. Gilles Barthe, Sabrina Tarento
    Pages 33-49
  4. Yves Bertot, Benjamin Grégoire, Xavier Leroy
    Pages 66-81
  5. Ana Bove, Thierry Coquand
    Pages 82-97
  6. Claudio Sacerdoti Coen
    Pages 98-114
  7. Solange Coupet-Grimal, William Delobel
    Pages 115-137
  8. Fredrik Lindblad, Marcin Benke
    Pages 154-169
  9. Lionel Elie Mamane
    Pages 170-185
  10. Conor McBride, Healfdene Goguen, James McKinna
    Pages 186-200
  11. Thomas Meyer, Burkhart Wolff
    Pages 201-214
  12. Markus Michelbrink
    Pages 215-231
  13. Alexandre Miquel
    Pages 232-251
  14. Peter Morris, Thorsten Altenkirch, Conor McBride
    Pages 252-267
  15. Michel Parigot
    Pages 268-273
  16. Back Matter

About these proceedings

Keywords

Coq algorithm calculus formal methods formal reasoning formal verification optimization programming programming language programming theory proof theory proving rewriting systems subtyping theorem proving

Editors and affiliations

  • Jean-Christophe Filliâtre
    • 1
  • Christine Paulin-Mohring
    • 2
  • Benjamin Werner
    • 3
  1. 1.LRI, Univ Paris-Sud, CNRS, Orsay F-91405, INRIA Futurs, ProValOrsay
  2. 2.INRIA Saclay - Île-de-France, ProVal - Orsay 91893 and LRI, Univ Paris-Sud, CNRS - Orsay 91405LRI, Université Paris Sud and INRIA Futurs, Bât. 490Université Paris SudOrsay CedexFrance
  3. 3.INRIA-Futurs at, LIX, École PolytechniquePalaiseauFrance

Bibliographic information

  • DOI https://doi.org/10.1007/11617990
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-31428-8
  • Online ISBN 978-3-540-31429-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site