The following pages link to (Q4040030):
Displaying 34 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)
- Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories (Q1059405) (← links)
- Composition-nominative logics as institutions (Q1653557) (← links)
- Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types (Q1770362) (← links)
- Monads for the formalization of a pattern matching procedure (Q2017780) (← links)
- Cosheaf representations of relations and Dowker complexes (Q2125403) (← links)
- A name abstraction functor for named sets (Q2873662) (← links)
- Category theory for computing science (Q2919784) (← links)
- Graph Transformation by Computational Category Theory (Q3059706) (← links)
- Petri nets based on Lawvere theories (Q3386752) (← links)
- Naturality of the conditional and the recursion<sup>∗</sup> (Q3477993) (← links)
- (Q3801547) (← links)
- Indexed categories for program development (Q3986546) (← links)
- Executable specifications for data-type constructors (Q3986951) (← links)
- (Q4028094) (← links)
- (Q4339951) (← links)
- (Q4725714) (← links)
- (Q4850062) (← links)
- Kolmogorov Complexity of Categories (Q4922092) (← links)
- (Q5019311) (← links)
- A simple abstract semantics for equational theories (Q5055883) (← links)
- Declarative continuations: An investigation of duality in programming language semantics (Q5096263) (← links)
- Graph-grammar semantics of a higher-order programming language for distributed systems (Q5096275) (← links)
- Applied Category Theory in Chemistry, Computing, and Social Networks (Q5099508) (← links)
- Structured Cospans (Q5137917) (← links)
- Open Petri nets (Q5139283) (← links)
- Relationships between category theory and functional programming with an application (Q5229862) (← links)
- Category Theory (Q5472797) (← links)
- Incidence hypergraphs: the categorical inconsistency of set-systems and a characterization of quiver exponentials (Q6116558) (← links)
- Local causation (Q6187770) (← links)
- A mechanically assisted constructive proof in category theory (Q6488555) (← links)
