The structure of first-order causality (Q3081323): Difference between revisions

@@ Property / arXiv ID @@
+.4813
@@ Property / arXiv ID: 1101.4813 / rank @@
+Normal rank
@@ Property / cites work @@
+The 3-by-3 lemma for regular Goursat categories
@@ Property / cites work: The 3-by-3 lemma for regular Goursat categories / rank @@
+Normal rank
@@ Property / cites work @@
+Towards an algebraic theory of Boolean circuits.
@@ Property / cites work: Towards an algebraic theory of Boolean circuits. / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets, algebras, morphisms, and compositionality
+Normal rank
@@ Property / cites work @@
+Limits indexed by category-valued 2-functors
@@ Property / cites work: Limits indexed by category-valued 2-functors / rank @@
+Normal rank
@@ Property / cites work @@
+On full abstraction for PCF: I, II and III
@@ Property / cites work: On full abstraction for PCF: I, II and III / rank @@
+Normal rank
@@ Property / cites work @@
+Asynchronous Games: Innocence Without Alternation
@@ Property / cites work: Asynchronous Games: Innocence Without Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Minimality of the system of seven equations for the category of finite sets
+Normal rank
@@ Property / cites work @@
+Higher-dimensional word problems with applications to equational logic
+Normal rank
@@ Property / cites work @@
+Higher-dimensional algebra. IV: 2-tangles.
@@ Property / cites work: Higher-dimensional algebra. IV: 2-tangles. / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical algebra
@@ Property / cites work: Categorical algebra / rank @@
+Normal rank
@@ Property / cites work @@
+The geometry of tensor calculus. I
@@ Property / cites work: The geometry of tensor calculus. I / rank @@
+Normal rank