Second-Order Algebraic Theories - (Extended Abstract).

Marcelo P. Fiore, Ola Mahmoud

Browse the full MFCS paper archive.