Chuangjie Xu

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