A Constructive Model of Uniform Continuity. - Chuangjie Xu; Martín Hötzel Escardó (TLCA, 2013)

The Inconsistency of a Brouwerian Continuity Principle with the Curry-Howard Interpretation. - Martín Hötzel Escardó; Chuangjie Xu (TLCA, 2015)

A continuous computational interpretation of type theories. - Chuangjie Xu (2015)

A constructive manifestation of the Kleene-Kreisel continuous functionals. - Martín Escardó; Chuangjie Xu (Ann. Pure Appl. Log., 2016)

Three equivalent ordinal notation systems in cubical Agda. - Fredrik Nordvall Forsberg; Chuangjie Xu; Neil Ghani (CPP, 2020)

A Gentzen-Style Monadic Translation of Gödel's System T. - Chuangjie Xu (FSCD, 2020)

A syntactic approach to continuity of T-definable functionals. - Chuangjie Xu (Log. Methods Comput. Sci., 2020)

On the Herbrand functional interpretation. - Paulo Oliva; Chuangjie Xu (Math. Log. Q., 2020)

A generic type system for featherweight Java. - Ulrich Schöpp; Chuangjie Xu (FTfJP@ECOOP, 2021)

Connecting Constructive Notions of Ordinals in Homotopy Type Theory. - Nicolai Kraus; Fredrik Nordvall Forsberg; Chuangjie Xu (MFCS, 2021)

Type-based Enforcement of Infinitary Trace Properties for Java. - Serdar Erbatur; Ulrich Schöpp; Chuangjie Xu (PPDP, 2021)

Inferring Region Types via an Abstract Notion of Environment Transformation. - Ulrich Schöpp; Chuangjie Xu (APLAS, 2022)

Set-Theoretic and Type-Theoretic Ordinals Coincide. - Tom de Jong; Nicolai Kraus; Fredrik Nordvall Forsberg; Chuangjie Xu (LICS, 2023)

Specifying a Usage Control System. - Ulrich Schöpp; Chuangjie Xu; Amjad Ibrahim; Fathiyeh Faghih; Theo Dimitrakos (SACMAT, 2023)

Type-theoretic approaches to ordinals. - Nicolai Kraus; Fredrik Nordvall Forsberg; Chuangjie Xu (Theor. Comput. Sci., 2023)

Static and Dynamic Analysis of a Usage Control System. - Ulrich Schöpp; Fathiyeh Faghih; Subhajit Bandopadhyay; Hussein Joumaa; Amjad Ibrahim; Chuangjie Xu; Xin Ye; Theo Dimitrakos (SACMAT, 2024)

Ordinal Exponentiation in Homotopy Type Theory. - Tom de Jong; Nicolai Kraus; Fredrik Nordvall Forsberg; Chuangjie Xu (CoRR, 2025)