Samuele Buro. Equational Logic and Categorical Semantics for Multi-Languages.
Channel: MFPS 2020
Date: 2020-05-31

Roy Crole, Samuele Buro and Isabella Mastroeni. Equational Logic and Categorical Semantics for Multi-Languages.