Traces for coalgebraic components (Q3005989): Difference between revisions

@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling component connectors in Reo by constraint automata
+Normal rank
@@ Property / cites work @@
+Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
+Normal rank
@@ Property / cites work @@
+Functorial Boxes in String Diagrams
@@ Property / cites work: Functorial Boxes in String Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Categorifying Computations into Components via Arrows as Profunctors
+Normal rank
@@ Property / cites work @@
+Reo: a channel-based coordination model for component composition
+Normal rank
@@ Property / cites work @@
+Games and full completeness for multiplicative linear logic
+Normal rank
@@ Property / cites work @@
+Coalgebraic modal logic of finite rank
@@ Property / cites work: Coalgebraic modal logic of finite rank / rank @@
+Normal rank
@@ Property / cites work @@
+Geometry of Interaction and linear combinatory algebras
+Normal rank
@@ Property / cites work @@
+Bialgebraic methods and modal logic in structural operational semantics
+Normal rank
@@ Property / cites work @@
+Bicategories of processes
@@ Property / cites work: Bicategories of processes / rank @@
+Normal rank
@@ Property / cites work @@
+Traced monoidal categories
@@ Property / cites work: Traced monoidal categories / rank @@
+Normal rank
@@ Property / cites work @@
+The geometry of tensor calculus. I
@@ Property / cites work: The geometry of tensor calculus. I / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical semantics for arrows
@@ Property / cites work: Categorical semantics for arrows / rank @@
+Normal rank
@@ Property / cites work @@
+From Coalgebraic to Monoidal Traces
@@ Property / cites work: From Coalgebraic to Monoidal Traces / 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 @@
+Generalising monads to arrows
@@ Property / cites work: Generalising monads to arrows / rank @@
+Normal rank
@@ Property / cites work @@
+The Microcosm Principle and Concurrency in Coalgebra
+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 uniformity principle on traced monoidal categories
+Normal rank
@@ Property / cites work @@
+Q4936346
@@ Property / cites work: Q4936346 / rank @@
+Normal rank
@@ Property / cites work @@
+Linearly distributive functors
@@ Property / cites work: Linearly distributive functors / rank @@
+Normal rank
@@ Property / cites work @@
+A Survey of Graphical Languages for Monoidal Categories
+Normal rank
@@ Property / cites work @@
+Terminal coalgebras in well-founded set theory
@@ Property / cites work: Terminal coalgebras in well-founded set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank