Chuangjie Xu

Available identifiers

Publication	Date of Publication	Type
Dynamics of Electron Pearcey– Gaussian Beams in a Constant Magnetic Field	2023-11-24	Paper
Paraxial Propagation Properties of Radially Polarized Odd‐Pearcey Gaussian Beams in Free Space	2023-11-17	Paper
Off‐Axis and Multi Optical Bottles from the Ring Airy Gaussian Vortex Beam with the Astigmatic Phase	2023-11-13	Paper
Connecting constructive notions of ordinals in homotopy type theory	2023-08-08	Paper
Inferring region types via an abstract notion of environment transformation	2023-07-25	Paper
Type-theoretic approaches to ordinals	2023-04-27	Paper
Set-Theoretic and Type-Theoretic Ordinals Coincide	2023-01-25	Paper
Type-Theoretic Approaches to Ordinals	2022-08-07	Paper
On the Herbrand functional interpretation	2020-05-29	Paper
https://portal.mardi4nfdi.de/entity/Q5109510	2020-05-12	Paper
On the Herbrand Functional Interpretation	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	2019-04-22	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	2016-06-03	Paper
A constructive model of uniform continuity	2013-06-28	Paper

This page was built for person: Chuangjie Xu