Scholar

Chuangjie Xu

Google Scholar ID: YR9VeLAAAAAJ

Static Analysis Scientist, SonarSource

static analysistype theorymathematical logic

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

214

H-index

9

i10-index

9

Publications

20

Co-authors

5

list available

Contact

No contact links provided.

Publications

2 items

Information Propagation and Contraction in Functional Interpretations

2026

Cited

0

Ordinal Exponentiation in Homotopy Type Theory

2025

Cited

0

Resume (English only)

Co-authors

5 total

Martín Hötzel Escardó

Professor of Theoretical Computer Science, University of Birmingham,UK

Fredrik Nordvall Forsberg

University of Strathclyde

Research Fellow, School of Computer Science, University of Nottingham