The following pages link to Chuangjie Xu (Q290638):
Displayed 17 items.
- A constructive manifestation of the Kleene-Kreisel continuous functionals (Q290639) (← links)
- Type-theoretic approaches to ordinals (Q2700785) (← links)
- (Q5109510) (← links)
- On the Herbrand functional interpretation (Q5112393) (← links)
- The inconsistency of a Brouwerian continuity principle with the Curry-Howard interpretation (Q5277837) (← links)
- A Constructive Model of Uniform Continuity (Q5300905) (← links)
- Off‐Axis and Multi Optical Bottles from the Ring Airy Gaussian Vortex Beam with the Astigmatic Phase (Q6068574) (← links)
- Paraxial Propagation Properties of Radially Polarized Odd‐Pearcey Gaussian Beams in Free Space (Q6069953) (← links)
- Dynamics of Electron Pearcey– Gaussian Beams in a Constant Magnetic Field (Q6091471) (← links)
- (Q6168488) (← links)
- Inferring region types via an abstract notion of environment transformation (Q6176564) (← links)
- A syntactic approach to continuity of T-definable functionals (Q6317548) (← links)
- Three Equivalent Ordinal Notation Systems in Cubical Agda (Q6317695) (← links)
- A Gentzen-style monadic translation of G\"odel's System T (Q6323766) (← links)
- On the Herbrand Functional Interpretation (Q6330328) (← links)
- Type-Theoretic Approaches to Ordinals (Q6407227) (← links)
- Set-Theoretic and Type-Theoretic Ordinals Coincide (Q6424388) (← links)