![](/img/cover-not-exists.png)
Equational Logic and Categorical Semantics for Multi-Languages
Buro, Samuele, Crole, Roy, Mastroeni, IsabellaVolume:
352
Journal:
Electronic Notes in Theoretical Computer Science
DOI:
10.1016/j.entcs.2020.09.005
Date:
October, 2020
File:
PDF, 687 KB
2020