( en | de | ru )

 

Disambiguation of "Xu, Chuangjie"

Author of the publication

copydeleteadd this publication to your clipboard
Set-Theoretic and Type-Theoretic Ordinals Coincide.

, , , and . LICS, page 1-13. IEEE, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Xu Xu

Xu Xu

Xianxiang Xu

Imaging findings of cerebral schistosomiasis in China. Uni Hamburg, (2010)

Yan Xu

Untersuchungen zur Verleimung von Holz und Holzspanplatten mit UF-Leimharzen und PMDI. TU Braunschweig, (2009)

Bo Xu

 

Other publications of authors with the same name

A Gentzen-Style Monadic Translation of Gödel's System T.. FSCD, volume 167 of LIPIcs, page 25:1-25:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)A syntactic approach to continuity of T-definable functionals.. Log. Methods Comput. Sci., (2020)A Constructive Model of Uniform Continuity., and . TLCA, volume 7941 of Lecture Notes in Computer Science, page 236-249. Springer, (2013)A generic type system for featherweight Java., and . FTfJP@ECOOP, page 9-15. ACM, (2021)A constructive manifestation of the Kleene-Kreisel continuous functionals., and . Ann. Pure Appl. Log., 167 (9): 770-793 (2016)Type-Theoretic Approaches to Ordinals., , and . CoRR, (2022)Connecting Constructive Notions of Ordinals in Homotopy Type Theory., , and . MFCS, volume 202 of LIPIcs, page 70:1-70:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)The Inconsistency of a Brouwerian Continuity Principle with the Curry-Howard Interpretation., and . TLCA, volume 38 of LIPIcs, page 153-164. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)A Gentzen-style monadic translation of Gödel's System T.. CoRR, (2019)A continuous computational interpretation of type theories.. University of Birmingham, UK, (2015)British Library, EThOS.