Elementary control structures (Q6104369): Difference between revisions

@@ Property / cites work @@
+Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets are monoids
@@ Property / cites work: Petri nets are monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Premonoidal categories and notions of computation
@@ Property / cites work: Premonoidal categories and notions of computation / rank @@
+Normal rank