The following pages link to A categorical manifesto (Q4713397):
Displaying 28 items.
- Category-theoretic approach to software systems design (Q289772) (← links)
- Systems analysis of life cycle of large-scale information-control systems (Q386928) (← links)
- On probability domains. III (Q904472) (← links)
- Generalized random events (Q904488) (← links)
- A categorical approach to probability theory (Q965910) (← links)
- 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)
- Probability: from classical to fuzzy (Q1697656) (← links)
- Contextual Petri nets, asymmetric event structures, and processes (Q1854468) (← links)
- Categorical shape theory as a formal language for pattern recognition? (Q1924765) (← links)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
- From orthogonal projections to a generalized quantum search (Q1937233) (← links)
- Algorithm design through the optimization of reuse-based generation (Q1980486) (← links)
- Problems of constructing intelligent systems. Intelligent modeling (Q2044055) (← links)
- Categorical approach to the construction of fuzzy graph grammars (Q2371725) (← links)
- Rosen's modelling relations via categorical adjunctions (Q2869776) (← links)
- ON COLIMITS OVER ARBITRARY POSETS (Q3461920) (← links)
- (Q4222787) (← links)
- (Q4222788) (← links)
- (Q4285618) (← links)
- Coproducts of Ideal Monads (Q4659887) (← links)
- (Q4850062) (← links)
- (Q5019299) (← links)
- (Q5019667) (← links)
- (Q5038454) (← links)
- System Consequence (Q5190975) (← links)