conf.researchr.org / Chuangjie Xu
Registered user since Wed 27 Nov 2019
Name:Chuangjie Xu
Country:Germany
Affiliation:fortiss GmbH
Personal website:https://cj-xu.github.io/
GitHub:https://github.com/cj-xu
Research interests:Mathematical logic
Contributions
| FTfJP 2021 | Presenter of A Generic Type System for Featherweight Java within the FTfJP-track |
| CPP 2020 | Author of Three equivalent ordinal notation systems in Cubical Agda within the CPP 2020-track |