Protocol choice and iteration for the free cornering (Q6151626): Difference between revisions

@@ Property / OpenAlex ID @@
+W4390414791
@@ Property / OpenAlex ID: W4390414791 / rank @@
+Normal rank
@@ Property / cites work @@
+Containers: Constructing strictly positive types
@@ Property / cites work: Containers: Constructing strictly positive types / rank @@
+Normal rank
@@ Property / cites work @@
+When is a container a comonad?
@@ Property / cites work: When is a container a comonad? / rank @@
+Normal rank
@@ Property / cites work @@
+On the \(\pi\)-calculus and linear logic
@@ Property / cites work: On the \(\pi\)-calculus and linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Symmetric monoidal and cartesian double categories as a semantic framework for tile logic
+Normal rank
@@ Property / cites work @@
+The logic of message-passing
@@ Property / cites work: The logic of message-passing / rank @@
+Normal rank
@@ Property / cites work @@
+Q3137150
@@ Property / cites work: Q3137150 / rank @@
+Normal rank
@@ Property / cites work @@
+A mathematical theory of resources
@@ Property / cites work: A mathematical theory of resources / rank @@
+Normal rank
@@ Property / cites work @@
+What is a free double category like?
@@ Property / cites work: What is a free double category like? / rank @@
+Normal rank
@@ Property / cites work @@
+Catégories structurées
@@ Property / cites work: Catégories structurées / rank @@
+Normal rank
@@ Property / cites work @@
+Model structures on the category of small double categories
+Normal rank
@@ Property / cites work @@
+Q4933938
@@ Property / cites work: Q4933938 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4652984
@@ Property / cites work: Q4652984 / rank @@
+Normal rank
@@ Property / cites work @@
+The Uniformity Principle on Traced Monoidal Categories
+Normal rank
@@ Property / cites work @@
+Interaction Laws of Monads and Comonads
@@ Property / cites work: Interaction Laws of Monads and Comonads / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+What Do We Want a Foundation to Do?
@@ Property / cites work: What Do We Want a Foundation to Do? / 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 @@
+Concurrent Process Histories and Resource Transducers
+Normal rank
@@ Property / cites work @@
+Handling Algebraic Effects
@@ Property / cites work: Handling Algebraic Effects / rank @@
+Normal rank
@@ Property / cites work @@
+An abstract formulation for rewrite systems
@@ Property / cites work: An abstract formulation for rewrite systems / rank @@
+Normal rank
@@ Property / cites work @@
+A Survey of Graphical Languages for Monoidal Categories
+Normal rank
@@ Property / cites work @@
+Framed bicategories and monoidal fibrations
@@ Property / cites work: Framed bicategories and monoidal fibrations / rank @@
+Normal rank
@@ Property / cites work @@
+Runners for interleaving algebraic effects
@@ Property / cites work: Runners for interleaving algebraic effects / rank @@
+Normal rank
@@ Property / cites work @@
+Propositions as sessions
@@ Property / cites work: Propositions as sessions / rank @@
+Normal rank
@@ Property / cites work @@
+Data types in distributive categories
@@ Property / cites work: Data types in distributive categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3961635
@@ Property / cites work: Q3961635 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6151626