Inversion, Iteration, and the Art of Dual Wielding (Q5237212): Difference between revisions

@@ Property / cites work @@
+Retracing some paths in process algebra
@@ Property / cites work: Retracing some paths in process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive data types in algebraically \(\omega\)-complete categories
+Normal rank
@@ Property / cites work @@
+Functorial polymorphism
@@ Property / cites work: Functorial polymorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraically compact functors
@@ Property / cites work: Algebraically compact functors / rank @@
+Normal rank
@@ Property / cites work @@
+Bar categories and star operations
@@ Property / cites work: Bar categories and star operations / rank @@
+Normal rank
@@ Property / cites work @@
+Traced Premonoidal Categories
@@ Property / cites work: Traced Premonoidal Categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4997288
@@ Property / cites work: Q4997288 / rank @@
+Normal rank
@@ Property / cites work @@
+An effect-theoretic account of Lebesgue integration
+Normal rank
@@ Property / cites work @@
+Restriction categories. I: Categories of partial maps
+Normal rank
@@ Property / cites work @@
+Categories of quantum and classical channels
@@ Property / cites work: Categories of quantum and classical channels / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed Point Theory
@@ Property / cites work: Fixed Point Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview
+Normal rank
@@ Property / cites work @@
+Unique decomposition categories, Geometry of Interaction and combinatory logic
+Normal rank
@@ Property / cites work @@
+Q3024908
@@ Property / cites work: Q3024908 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories
+Normal rank
@@ Property / cites work @@
+On the Functor ℓ2
@@ Property / cites work: On the Functor ℓ2 / rank @@
+Normal rank
@@ Property / cites work @@
+Monads on dagger categories
@@ Property / cites work: Monads on dagger categories / rank @@
+Normal rank
@@ Property / cites work @@
+A Representation Theorem for Unique Decomposition Categories
+Normal rank
@@ Property / cites work @@
+Involutive categories and monoids, with a GNS-correspondence
+Normal rank
@@ Property / cites work @@
+New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
+Normal rank
@@ Property / cites work @@
+Information effects
@@ Property / cites work: Information effects / rank @@
+Normal rank
@@ Property / cites work @@
+Traced monoidal categories
@@ Property / cites work: Traced monoidal categories / rank @@
+Normal rank
@@ Property / cites work @@
+Join inverse categories and reversible recursion
@@ Property / cites work: Join inverse categories and reversible recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Limits in dagger categories
@@ Property / cites work: Limits in dagger categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3864044
@@ Property / cites work: Q3864044 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934579
@@ Property / cites work: Q3934579 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a quantum domain theory: order-enrichment and fixpoints in \(W^*\)-algebras
+Normal rank
@@ Property / cites work @@
+Dagger Compact Closed Categories and Completely Positive Maps
+Normal rank
@@ Property / cites work @@
+A Survey of Graphical Languages for Monoidal Categories
+Normal rank
@@ Property / cites work @@
+Finite dimensional Hilbert spaces are complete for dagger compact closed categories
+Normal rank
@@ Property / cites work @@
+The Category-Theoretic Solution of Recursive Domain Equations
+Normal rank
@@ Property / cites work @@
+Towards a Reversible Functional Language
@@ Property / cites work: Towards a Reversible Functional Language / rank @@
+Normal rank