Pages that link to "Item:Q1383220"
From MaRDI portal
The following pages link to Applications of category theory to the area of algebraic specification in computer science (Q1383220):
Displaying 8 items.
- Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories (Q1059405) (← links)
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories (Q1183597) (← links)
- Fibred amalgamation, descent data, and Van Kampen squares in topoi (Q2350322) (← links)
- Category theory for computing science (Q2919784) (← links)
- (Q3317106) (← links)
- Van Kampen Colimits and Path Uniqueness (Q4643957) (← links)
- Theory and Applications of Models of Computation (Q5898913) (← links)
- Industrial applications of software synthesis via category theory -- case studies using specware (Q5935933) (← links)