Szumi Xie

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 1

Top Topics

Theory Revision

Top Venues

Publications

Ambrus Kaposi, Szumi Xie
Second-Order Generalised Algebraic Theories: Signatures and First-Order Semantics. FSCD (2024)