- Record: found
- Abstract: not found
- Book Chapter: not found
Interactive Theorem Proving
Ordinals in HOL: Transfinite Arithmetic up to (and Beyond) ω 1
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references4
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Foundational, Compositional (Co)datatypes for Higher-Order Logic: Category Theory Applied to Theorem Proving
- Record: found
- Abstract: not found
- Article: not found
Ordinal Arithmetic: Algorithms and Mechanization
Panagiotis Manolios, Daron Vroon (2005)
- Record: found
- Abstract: not found
- Book Chapter: not found
Proof Pearl: Wellfounded Induction on the Ordinals Up to ε 0
Matt Kaufmann, Konrad Slind (2007)