LIPIcs, Volume 19, TYPES 2011

• Nils Anders Danielsson and Bengt Nordström LIPIcs, Volume 19, TYPES'11, Complete Volume 10.4230/LIPIcs.TYPES.2011
• Nils Anders Danielsson and Bengt Nordström Frontmatter, Table of Contents, Preface, Workshop Organization 10.4230/LIPIcs.TYPES.2011.i
• Aloïs Brunel Non-constructive complex analysis in Coq 10.4230/LIPIcs.TYPES.2011.1
• Jörg Endrullis and Andrew Polonsky Infinitary Rewriting Coinductively 10.4230/LIPIcs.TYPES.2011.16
• Johan G. Granström A new approach to the semantics of model diagrams 10.4230/LIPIcs.TYPES.2011.28
• Cezar Ionescu and Patrik Jansson Testing versus proving in climate impact research 10.4230/LIPIcs.TYPES.2011.41
• Ralph Matthes and Celia Picard Verification of redecoration for infinite triangular matrices using coinduction 10.4230/LIPIcs.TYPES.2011.55