Categorifying Computations into Components via Arrows as Profunctors (Q2919448): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2010.07.012
+Normal rank
@@ Property / OpenAlex ID @@
+W1964430373
@@ Property / OpenAlex ID: W1964430373 / rank @@
+Normal rank
@@ Property / cites work @@
+What is a Categorical Model of Arrows?
@@ Property / cites work: What is a Categorical Model of Arrows? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4250400
@@ Property / cites work: Q4250400 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
+Normal rank
@@ Property / cites work @@
+Q3682648
@@ Property / cites work: Q3682648 / rank @@
+Normal rank
@@ Property / cites work @@
+Traced Premonoidal Categories
@@ Property / cites work: Traced Premonoidal Categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4856547
@@ Property / cites work: Q4856547 / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Components in a Many-Sorted Microcosm
@@ Property / cites work: Coalgebraic Components in a Many-Sorted Microcosm / rank @@
+Normal rank
@@ Property / cites work @@
+The Microcosm Principle and Concurrency in Coalgebra
+Normal rank
@@ Property / cites work @@
+Generalising monads to arrows
@@ Property / cites work: Generalising monads to arrows / rank @@
+Normal rank
@@ Property / cites work @@
+A small complete category
@@ Property / cites work: A small complete category / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical semantics for arrows
@@ Property / cites work: Categorical semantics for arrows / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934579
@@ Property / cites work: Q3934579 / rank @@
+Normal rank
@@ Property / cites work @@
+Monads on symmetric monoidal closed categories
@@ Property / cites work: Monads on symmetric monoidal closed categories / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling environments in call-by-value programming languages.
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+A new notation for arrows
@@ Property / cites work: A new notation for arrows / rank @@
+Normal rank
@@ Property / cites work @@
+Premonoidal categories and notions of computation
@@ Property / cites work: Premonoidal categories and notions of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+The formal theory of monads
@@ Property / cites work: The formal theory of monads / rank @@
+Normal rank
@@ Property / cites work @@
+Comonadic Notions of Computation
@@ Property / cites work: Comonadic Notions of Computation / rank @@
+Normal rank