Chuangjie Xu

ORCID

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 21

Top Venues

University of Birmingham, UK (PHD)

Education History

University of Birmingham, UK

PHD

Publications

Ulrich Schöpp, Fathiyeh Faghih, Subhajit Bandopadhyay, Hussein Joumaa, Amjad Ibrahim, Chuangjie Xu, Xin Ye, Theo Dimitrakos
Static and Dynamic Analysis of a Usage Control System. SACMAT (2024)
Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu
Set-Theoretic and Type-Theoretic Ordinals Coincide. CoRR (2023)
Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu
Type-theoretic approaches to ordinals. Theor. Comput. Sci. 957 (2023)
Ulrich Schöpp, Chuangjie Xu, Amjad Ibrahim, Fathiyeh Faghih, Theo Dimitrakos
Specifying a Usage Control System. SACMAT (2023)
Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu
Set-Theoretic and Type-Theoretic Ordinals Coincide. LICS (2023)
Ulrich Schöpp, Chuangjie Xu
Inferring Region Types via an Abstract Notion of Environment Transformation. APLAS (2022)
Ulrich Schöpp, Chuangjie Xu
Inferring Region Types via an Abstract Notion of Environment Transformation. CoRR (2022)
Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu
Type-Theoretic Approaches to Ordinals. CoRR (2022)
Serdar Erbatur, Ulrich Schöpp, Chuangjie Xu
Type-based Enforcement of Infinitary Trace Properties for Java. CoRR (2021)
Serdar Erbatur, Ulrich Schöpp, Chuangjie Xu
Type-based Enforcement of Infinitary Trace Properties for Java. PPDP (2021)
Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu
Connecting Constructive Notions of Ordinals in Homotopy Type Theory. MFCS (2021)
Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu
Connecting Constructive Notions of Ordinals in Homotopy Type Theory. CoRR (2021)
Ulrich Schöpp, Chuangjie Xu
A generic type system for featherweight Java. FTfJP@ECOOP (2021)
Chuangjie Xu
A syntactic approach to continuity of T-definable functionals. Log. Methods Comput. Sci. 16 (1) (2020)
Paulo Oliva, Chuangjie Xu
On the Herbrand functional interpretation. Math. Log. Q. 66 (1) (2020)
Fredrik Nordvall Forsberg, Chuangjie Xu, Neil Ghani
Three equivalent ordinal notation systems in cubical Agda. CPP (2020)
Chuangjie Xu
A Gentzen-Style Monadic Translation of Gödel's System T. FSCD (2020)
Paulo Oliva, Chuangjie Xu
On the Herbrand Functional Interpretation. CoRR (2019)
Chuangjie Xu
A syntactic approach to continuity of T-definable functionals. CoRR (2019)
Chuangjie Xu
A Gentzen-style monadic translation of Gödel's System T. CoRR (2019)
Martín Escardó, Chuangjie Xu
A constructive manifestation of the Kleene-Kreisel continuous functionals. Ann. Pure Appl. Log. 167 (9) (2016)
Martín Hötzel Escardó, Chuangjie Xu
The Inconsistency of a Brouwerian Continuity Principle with the Curry-Howard Interpretation. TLCA (2015)
Chuangjie Xu, Martín Hötzel Escardó
A Constructive Model of Uniform Continuity. TLCA (2013)

Chuangjie Xu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Chuangjie Xu