Constructive Theory of Ordinals

DOI10.1142/9789811245220_0012arXiv2201.04352OpenAlexW4226253399MaRDI QIDQ6167161

Stefan Neuwirth, Thierry Coquand, Henri Lombardi

Publication date: 4 August 2023

Published in: Mathematics for Computation (M4C) (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2201.04352

Mathematics Subject Classification ID

Computer science (68-XX)

This page was built for publication: Constructive Theory of Ordinals