Skip to content

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

Ambrus Kaposi, Szumi Xie

VenueBFSCD
Year2024
ProceedingsFSCD

Browse the full FSCD paper archive.