Traced Premonoidal Categories (Q4460686): Difference between revisions

@@ Property / cites work @@
+Using circular programs to eliminate multiple traversals of data
+Normal rank
@@ Property / cites work @@
+Axiomatizing schemes and their behaviors
@@ Property / cites work: Axiomatizing schemes and their behaviors / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287508
@@ Property / cites work: Q5287508 / rank @@
+Normal rank
@@ Property / cites work @@
+A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic
+Normal rank
@@ Property / cites work @@
+Semantics of value recursion for Monadic Input/Output
+Normal rank
@@ Property / cites work @@
+Q2707234
@@ Property / cites work: Q2707234 / rank @@
+Normal rank
@@ Property / cites work @@
+Group axioms for iteration
@@ Property / cites work: Group axioms for iteration / rank @@
+Normal rank
@@ Property / cites work @@
+An equational notion of lifting monad
@@ Property / cites work: An equational notion of lifting monad / rank @@
+Normal rank
@@ Property / cites work @@
+Q3824307
@@ Property / cites work: Q3824307 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4936346
@@ Property / cites work: Q4936346 / rank @@
+Normal rank
@@ Property / cites work @@
+The Uniformity Principle on Traced Monoidal Categories
+Normal rank
@@ Property / cites work @@
+Generalising monads to arrows
@@ Property / cites work: Generalising monads to arrows / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847418
@@ Property / cites work: Q2847418 / rank @@
+Normal rank
@@ Property / cites work @@
+Traced monoidal categories
@@ Property / cites work: Traced monoidal categories / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive monadic bindings
@@ Property / cites work: Recursive monadic bindings / 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 @@
+An abstract monadic semantics for value recursion
@@ Property / cites work: An abstract monadic semantics for value recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Q3138544
@@ Property / cites work: Q3138544 / 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 @@
+Q4938649
@@ Property / cites work: Q4938649 / rank @@
+Normal rank