Pages that link to "Item:Q2133469"
From MaRDI portal
The following pages link to Equational logic and categorical semantics for multi-languages (Q2133469):
Displaying 4 items.
- Equational logic and categorical semantics for multi-languages (Q2133469) (← links)
- On multi-language abstraction. Towards a static analysis of multi-language programs (Q2233542) (← links)
- (Q4265614) (← links)
- Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic (Q5271090) (← links)