Chuangjie Xu

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Set-theoretic and type-theoretic ordinals coincide	2026-02-27	Paper
A Gentzen-style monadic translation of Gödel's system T	2026-02-24	Paper
Ordinal Exponentiation in Homotopy Type Theory (available as arXiv preprint)	2025-01-01	Paper
Dynamics of Electron Pearcey– Gaussian Beams in a Constant Magnetic Field Annalen der Physik	2023-11-24	Paper
Paraxial Propagation Properties of Radially Polarized Odd‐Pearcey Gaussian Beams in Free Space Annalen der Physik	2023-11-17	Paper
Off‐Axis and Multi Optical Bottles from the Ring Airy Gaussian Vortex Beam with the Astigmatic Phase Annalen der Physik	2023-11-13	Paper
Connecting constructive notions of ordinals in homotopy type theory (available as arXiv preprint)	2023-08-08	Paper
Inferring region types via an abstract notion of environment transformation Programming Languages and Systems	2023-07-25	Paper
Type-theoretic approaches to ordinals Theoretical Computer Science	2023-04-27	Paper
Set-Theoretic and Type-Theoretic Ordinals Coincide	2023-01-25	Paper
Type-Theoretic Approaches to Ordinals (available as arXiv preprint)	2022-08-07	Paper
On the Herbrand functional interpretation Mathematical Logic Quarterly	2020-05-29	Paper
A syntactic approach to continuity of T-definable functionals (available as arXiv preprint)	2020-05-12	Paper
A syntactic approach to continuity of T-definable functionals	2020-05-12	Paper
On the Herbrand Functional Interpretation (available as arXiv preprint)	2019-12-03	Paper
A Gentzen-style monadic translation of G\"odel's System T	2019-08-16	Paper
Three Equivalent Ordinal Notation Systems in Cubical Agda	2019-04-24	Paper
A syntactic approach to continuity of T-definable functionals (available as arXiv preprint)	2019-04-22	Paper
Three Equivalent Ordinal Notation Systems in Cubical Agda (available as arXiv preprint)	2019-01-01	Paper
The inconsistency of a Brouwerian continuity principle with the Curry-Howard interpretation	2017-07-12	Paper
A constructive manifestation of the Kleene-Kreisel continuous functionals Annals of Pure and Applied Logic	2016-06-03	Paper
A constructive model of uniform continuity Lecture Notes in Computer Science	2013-06-28	Paper

Research outcomes over time

This page was built for person: Chuangjie Xu