nLab
Stefan Neuwirth
Selected writings
Selected writings
On ordinals in constructive mathematics:
- Thierry Coquand, Henri Lombardi, Stefan Neuwirth: Constructive theory of ordinals. In: Marco Benini, Olaf Beyersdorff, Michael Rathjen, Peter Michael Schuster: Mathematics for Computation - M4C, World Scientific, pp.287-318, 2023, 978-981-124-521-3 [doi:10.1142/9789811245220_0012, arXiv:2201.04352]
Created on August 26, 2026 at 19:13:16.
See the history of this page for a list of all contributions to it.