TYPES 2011 September 8-11, 2011, Bergen, Norway

18th International Workshop on Types for Proofs and Programs (TYPES 2011)



Nils Anders Danielsson and Bengt Nordström (Eds.)
ISBN 978-3-939897-49-1, LIPICS Vol. 19 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 2 MB)
Search Publication Server


Authors
  • Brunel, Aloïs
  • Danielsson, Nils Anders
  • Endrullis, Jörg
  • Granström, Johan G.
  • Ionescu, Cezar
  • Jansson, Patrik
  • Matthes, Ralph
  • Nordström, Bengt
  • Picard, Celia
  • Polonsky, Andrew

  •   
    Frontmatter, Table of Contents, Preface, Workshop Organization
    Authors: Danielsson, Nils Anders ; Nordström, Bengt

    Abstract | Document (270 KB) | BibTeX

    Non-constructive complex analysis in Coq
    Authors: Brunel, Aloïs

    Abstract | Document (369 KB) | BibTeX

    Infinitary Rewriting Coinductively
    Authors: Endrullis, Jörg ; Polonsky, Andrew

    Abstract | Document (480 KB) | BibTeX

    A new approach to the semantics of model diagrams
    Authors: Granström, Johan G.

    Abstract | Document (496 KB) | BibTeX

    Testing versus proving in climate impact research
    Authors: Ionescu, Cezar ; Jansson, Patrik

    Abstract | Document (440 KB) | BibTeX

    Verification of redecoration for infinite triangular matrices using coinduction
    Authors: Matthes, Ralph ; Picard, Celia

    Abstract | Document (448 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint Published by LZI