The following pages link to J. Robin B. Cockett (Q673961):
Displaying 50 items.
- (Q235639) (redirect page) (← links)
- Total maps of Turing categories (Q283751) (← links)
- (Q386606) (redirect page) (← links)
- Safe recursion revisited. I: Categorical semantics for lower complexity (Q386608) (← links)
- Strong categorical datatypes II: A term logic for categorical programming (Q673963) (← links)
- Weakly distributive categories (Q674463) (← links)
- Categories for computation in context and unified logic (Q678833) (← links)
- List-arithmetic distributive categories: Locoi (Q752170) (← links)
- The logic of message-passing (Q923880) (← links)
- Categorical simulations (Q964545) (← links)
- Introduction to Turing categories (Q998306) (← links)
- Discrete decision theory: manipulations (Q1102136) (← links)
- Natural deduction and coherence for weakly distributive categories (Q1126244) (← links)
- Categories with finite limits and stable binary coproducts can be subdirectly decomposed (Q1192251) (← links)
- Constructing process categories (Q1391863) (← links)
- Restriction categories II: Partial map classification (Q1398462) (← links)
- Feedback for linearly distributive categories: Traces and fixpoints (Q1588062) (← links)
- The shuffle quasimonad and modules with differentiation and integration (Q1744374) (← links)
- Categorical models of the differential \(\lambda\)-calculus revisited (Q1744378) (← links)
- Linearly distributive functors (Q1818630) (← links)
- Differential structure, tangent structure, and SDG (Q2015833) (← links)
- Finiteness spaces and generalized power series (Q2134813) (← links)
- Cartesian integral categories and contextual integral categories (Q2134825) (← links)
- Differential equations in a tangent category. I: Complete vector fields, flows, and exponentials (Q2231000) (← links)
- Generalising the étale groupoid-complete pseudogroup correspondence (Q2237404) (← links)
- Differential categories revisited (Q2307523) (← links)
- Restriction categories as enriched categories (Q2435310) (← links)
- (Q2707132) (← links)
- (Q2761574) (← links)
- (Q2786896) (← links)
- Induction, Coinduction, and Adjoints (Q2842818) (← links)
- (Q2849877) (← links)
- (Q2884463) (← links)
- Differential restriction categories (Q2884470) (← links)
- (Q2910140) (← links)
- (Q2919772) (← links)
- (Q2919773) (← links)
- (Q3137150) (← links)
- (Q3138536) (← links)
- Unitary Theories, Unitary Categories (Q3178243) (← links)
- A Categorical Setting for Lower Complexity (Q3178259) (← links)
- Timed Sets, Functional Complexity, and Computability (Q3178279) (← links)
- (Q3384946) (← links)
- The Category TOF (Q3385627) (← links)
- (Q3411949) (← links)
- (Q3413926) (← links)
- Stochastic Decision Theory (Q3415912) (← links)
- (Q3416824) (← links)
- Differential categories (Q3419787) (← links)
- Decision tree reduction (Q3495630) (← links)
