activity
20192026
most citedAutofocusing Self-Imaging: The Symmetric Pearcey Talbot-like Effect

11 citations · 35 across the 11 of their papers we have counts for

collaborators
Showing math.LOShow all

2 papers · 1 filter

math.LO2019★ 6 cited

Three Equivalent Ordinal Notation Systems in Cubical Agda

Fredrik Nordvall Forsberg, Chuangjie Xu, Neil Ghani

We present three ordinal notation systems representing ordinals below in type theory, using recent type-theoretical innovations such as mutual inductive-inductive d…

math.LO2019★ 1 cited

A syntactic approach to continuity of T-definable functionals

Chuangjie Xu

We give a new proof of the well-known fact that all functions which are definable in Gödel's System T are continuous via a syntactic ap…