PAR-10: Volume InformationPAR-10. Partiality and Recursion in Interactive Theorem Provers10 articles•114 pages•Published: May 15, 2012 Papers
Keyphrasesantifounded 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. |