nLab Chuangjie Xu

Selected writings

Selected writings

On ordinals in dependent type theory and marked extensional well-founded orders:

Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu, Set-Theoretic and Type-Theoretic Ordinals Coincide [arXiv:2301.10696]

On ordinal exponentiation in dependent type theory, see:

Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu, Ordinal Exponentiation in Homotopy Type Theory (arXiv:2501.14542)

category: people

Last revised on April 8, 2025 at 01:15:42. See the history of this page for a list of all contributions to it.