The following pages link to A categorical manifesto (Q4713397):
Displayed 11 items.
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories (Q1183597) (← links)
- Temporal theories as modularisation units for concurrent system specification (Q1192604) (← links)
- An algebraic semantics for structured transition systems and its application to logic programs (Q1199528) (← links)
- Category theory and the foundations of mathematics: philosophical excavations. (Q1578766) (← links)
- Contextual Petri nets, asymmetric event structures, and processes (Q1854468) (← links)
- Categorical shape theory as a formal language for pattern recognition? (Q1924765) (← links)
- Categorical approach to the construction of fuzzy graph grammars (Q2371725) (← links)
- (Q4222787) (← links)
- (Q4222788) (← links)
- (Q4285618) (← links)
- Coproducts of Ideal Monads (Q4659887) (← links)