PAR-10: Volume Information

PAR-10. Partiality and Recursion in Interactive Theorem Provers

10 articles114 pagesPublished: May 15, 2012

Papers

Alexander Krauss
1-13
Conor McBride
14-17
Andreas Abel
18-33
Nils Anders Danielsson
34-54
Issam Maamria and Michael Butler
55-71
Claudio Sacerdoti Coen and Silvio Valentini
72-83
Aaron Stump, Vilhelm Sjöberg and Stephanie Weirich
84-100
Thorsten Altenkirch and Nils Anders Danielsson
101-106
Gavin Mendel-Gleason and Geoff Hamilton
107-113
Tarmo Uustalu
114

Keyphrases

antifounded coinduction, corecursion, coinduction2, coinductive, constructive, corecursion2, dependent types4, Event-B, general recursion2, inductive, inductively generated formal topologies, mixed induction and coinduction2, partial functions, pattern matching, Productivity, Prover Extensibility, recursion operator, sized types, subset, quotient types, term rewriting, termination, transition systems, type theory2, types, Well-definedness, wellfounded induction, recursion.