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):
Displaying 13 items.
- Parameterisation for abstract structured specifications (Q387996) (← links)
- Algebraic foundations in computer science. Essays dedicated to Symeon Bozapalidis on the occasion of his retirement (Q645927) (← links)
- Pushout-complements and basic concepts of grammars in toposes (Q757576) (← links)
- A 2-categorial generalization of the concept of institution (Q993499) (← 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)
- Applications of category theory to the area of algebraic specification in computer science (Q1383220) (← links)
- Automatic synthesis of logical models for order-sorted first-order theories (Q1655487) (← links)
- A survey on the categorical term construction with applications (Q1677940) (← links)
- Infinite hypergraphs. I: Basic properties (Q1814126) (← links)
- (Q3317106) (← links)
- A categorical manifesto (Q4713397) (← links)