Equational Logic and Categorical Semantics for Multi-Languages
| Autor: | Buro, Samuele, Crole, Roy, Mastroeni, Isabella |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 1 October 2020 352:79-103 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Buro, Samuele, Crole, Roy, Mastroeni, Isabella |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 1 October 2020 352:79-103 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect