Equational Logic and Categorical Semantics for Multi-Languages.

Samuele Buro, Roy L. Crole, Isabella Mastroeni

Browse the full MFPS paper archive.