Pages that link to "Item:Q1059405"
From MaRDI portal
The following pages link to Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories (Q1059405):
Displayed 6 items.
- Pushout-complements and basic concepts of grammars in toposes (Q757576) (← links)
- Varieties of chain-complete algebras (Q1145208) (← links)
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories (Q1183597) (← links)
- Program morphisms (Q1203125) (← links)
- Infinite hypergraphs. I: Basic properties (Q1814126) (← links)
- A categorical manifesto (Q4713397) (← links)