Pages that link to "Item:Q2919784"
From MaRDI portal
The following pages link to Category theory for computing science (Q2919784):
Displaying 9 items.
- Proving semantical equivalence of data specifications (Q678825) (← links)
- Lawvere theories enriched over a general base (Q2378550) (← links)
- (Q2933665) (← links)
- Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview (Q2946322) (← links)
- (Q3999603) (← links)
- (Q4028094) (← links)
- (Q4725714) (← links)
- Applied Category Theory in Chemistry, Computing, and Social Networks (Q5099508) (← links)
- Equational properties of fixed-point operations in cartesian categories: An overview (Q5377703) (← links)