Equational logic and categorical semantics for multi-languages (Q2133469)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Equational logic and categorical semantics for multi-languages |
scientific article |
Statements
Equational logic and categorical semantics for multi-languages (English)
0 references
29 April 2022
0 references
categorical logic
0 references
equational logic
0 references
interoperability
0 references
multi-languages
0 references
order-sorted signatures and theories
0 references
programming languages
0 references
subsort polymorphism
0 references
0 references
