The following pages link to (Q4040030):
Displaying 8 items.
- Categorical properties of \(M\)-indiscernibility spaces (Q642536) (← links)
- Categorical ML -- category-theoretic modular programming (Q684395) (← links)
- A sheaf-theoretic approach to pattern matching and related problems (Q685382) (← links)
- Structural induction in institutions (Q719243) (← links)
- Declarative continuations: An investigation of duality in programming language semantics (Q5096263) (← links)
- Relationships between category theory and functional programming with an application (Q5229862) (← links)
- Incidence hypergraphs: the categorical inconsistency of set-systems and a characterization of quiver exponentials (Q6116558) (← links)
- Local causation (Q6187770) (← links)
