Conference
Functorial Semantics for First-Order Theories
2026 · International Symposium on Mathematical Foundations of Computer Science · pp. 44:1-44:18 · 0 citations
· 46 references
Computer Science