Ordinals in HOL: Transfinite Arithmetic up to (and Beyond) ?1

Citation

Norrish, M & Huffman, B 2013, 'Ordinals in HOL: Transfinite Arithmetic up to (and Beyond) omega_1', in Sandrine Blazy, Christin Paulin-Mohring, David Pichardie (ed.), Lecture Notes in Computer Science: Interactive Theorem Proving, Springer Science + Business Media, Chennai, India, pp. 133-146.

Year

2013

ANU Authors

Field of Research

  • Analysis Of Algorithms And Complexity

Updated:  30 March 2024 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers