Pages that link to "Item:Q1059404"

The following pages link to Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories (Q1059404):

Displayed 9 items.

• Pushout-complements and basic concepts of grammars in toposes (Q757576) ‎ (← links)
• On the existence of free models in abstract algebraic institutions (Q1085969) ‎ (← links)
• Toward formal development of programs from algebraic specifications: Implementations revisited (Q1090100) ‎ (← links)
• Quasi-varieties in abstract algebraic institutions (Q1091132) ‎ (← links)
• Specifications in an arbitrary institution (Q1108775) ‎ (← links)
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories (Q1183597) ‎ (← links)
• Structured theory presentations and logic representations (Q1326777) ‎ (← links)
• Categorical approach to the construction of fuzzy graph grammars (Q2371725) ‎ (← links)
• A categorical manifesto (Q4713397) ‎ (← links)