PAR-10: Volume Information

PAR-10. Partiality and Recursion in Interactive Theorem Provers

Papers

Keyphrases

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