Szumi Xie

According to our database, Szumi Xie authored at least 3 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

The Groupoid-Syntax of Type Theory Is a Set.

Thorsten Altenkirch, Ambrus Kaposi, Szumi Xie

Proceedings of the 34th EACSL Annual Conference on Computer Science Logic, 2026

2025

Type Theory with Single Substitutions.

Ambrus Kaposi, Szumi Xie

Proceedings of the Proceedings Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, October, 2025

2024

Second-Order Generalised Algebraic Theories: Signatures and First-Order Semantics.

Ambrus Kaposi, Szumi Xie

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024