Xuanrui Qi

Xuanrui Qi

Nagoya University - Nagoya / Japan
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 5049914
名古屋大学
person_outline Xuanrui Qi's MOST POPULAR ARTICLES
1-) Proving tree algorithms for succinct data structures R Affeldt, J Garrigue, X Qi, K Tanaka arXiv preprint arXiv:1904.02809, 2019 32019
2-) Towards a Coq specification for generalized algebraic datatypes in OCaml X Qi, J Garrigue Presentation at CoqPL 21, 2021 12021
3-) Formalizing OCaml GADT typing in Coq X Qi, J Garrigue 2021
4-) Type theory and the logic of toposesX QiSchool of Mathematics, Nagoya University, 20212021
5-) Introduction to topological K-theoryX Qi2020