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
|
Privacy