Runze Xue
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Logic×1Prog. Lang.×1Category Theory×1Logic×1
Research Timeline
2026
Topology in Synthetic Domain Theory and its Formalisation in Agda
This paper generalizes the Phoa principle in synthetic domain theory to transfinite cases, introduces sobriomorphisms, and proposes a hypothetical completeness theorem.
Highlighted terms show continued research focus across papers