Szumi Xie

According to our database, Szumi Xie authored at least 1 paper in 2024.

Collaborative distances:

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

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