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]
Last revised on August 27, 2026 at 07:31:43.
See the history of this page for a list of all contributions to it.