Chuangjie Xu

According to our database, Chuangjie Xu authored at least 15 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Type-theoretic approaches to ordinals.

Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu

Theor. Comput. Sci., May, 2023

Specifying a Usage Control System.

Ulrich Schöpp, Chuangjie Xu, Amjad Ibrahim, Fathiyeh Faghih, Theo Dimitrakos

Proceedings of the 28th ACM Symposium on Access Control Models and Technologies, 2023

Set-Theoretic and Type-Theoretic Ordinals Coincide.

Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu

LICS, 2023

2022

Inferring Region Types via an Abstract Notion of Environment Transformation.

Ulrich Schöpp, Chuangjie Xu

Proceedings of the Programming Languages and Systems - 20th Asian Symposium, 2022

2021

Type-based Enforcement of Infinitary Trace Properties for Java.

Serdar Erbatur, Ulrich Schöpp, Chuangjie Xu

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

Connecting Constructive Notions of Ordinals in Homotopy Type Theory.

Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

A generic type system for featherweight Java.

Ulrich Schöpp, Chuangjie Xu

Proceedings of the FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, 2021

2020

On the Herbrand functional interpretation.

Paulo Oliva, Chuangjie Xu

Math. Log. Q., 2020

A syntactic approach to continuity of T-definable functionals.

Chuangjie Xu

Log. Methods Comput. Sci., 2020

A Gentzen-Style Monadic Translation of Gödel's System T.

Chuangjie Xu

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

Three equivalent ordinal notation systems in cubical Agda.

Fredrik Nordvall Forsberg, Chuangjie Xu, Neil Ghani

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020

2016

A constructive manifestation of the Kleene-Kreisel continuous functionals.

Martín Escardó, Chuangjie Xu

Ann. Pure Appl. Log., 2016

2015

A continuous computational interpretation of type theories.

Chuangjie Xu

PhD thesis, 2015

The Inconsistency of a Brouwerian Continuity Principle with the Curry-Howard Interpretation.

Martín Hötzel Escardó, Chuangjie Xu

Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications, 2015

2013

A Constructive Model of Uniform Continuity.

Chuangjie Xu, Martín Hötzel Escardó

Proceedings of the Typed Lambda Calculi and Applications, 11th International Conference, 2013