Towards a linear algebra of programming (Q1941862): Difference between revisions

@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1999128250
@@ Property / OpenAlex ID: W1999128250 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4331824
@@ Property / cites work: Q4331824 / rank @@
+Normal rank
@@ Property / cites work @@
+Matrices, machines and behaviors
@@ Property / cites work: Matrices, machines and behaviors / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+FUNCTIONAL PEARLS: Probabilistic functional programming in Haskell
+Normal rank
@@ Property / cites work @@
+Q3146903
@@ Property / cites work: Q3146903 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995720
@@ Property / cites work: Q3995720 / rank @@
+Normal rank
@@ Property / cites work @@
+Just do it
@@ Property / cites work: Just do it / rank @@
+Normal rank
@@ Property / cites work @@
+When is a function a fold or an unfold?
@@ Property / cites work: When is a function a fold or an unfold? / rank @@
+Normal rank
@@ Property / cites work @@
+A probability perspective
@@ Property / cites work: A probability perspective / rank @@
+Normal rank
@@ Property / cites work @@
+Q3838013
@@ Property / cites work: Q3838013 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical representation theorems of fuzzy relations
+Normal rank
@@ Property / cites work @@
+Q3262596
@@ Property / cites work: Q3262596 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Matrix Analytic Methods in Stochastic Modeling
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4367588
@@ Property / cites work: Q4367588 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693151
@@ Property / cites work: Q4693151 / rank @@
+Normal rank
@@ Property / cites work @@
+The origin of relation algebras in the development and axiomatization of the calculus of relations
+Normal rank
@@ Property / cites work @@
+Using Probabilistic Kleene Algebra for Protocol Verification
+Normal rank
@@ Property / cites work @@
+Abstraction, Refinement and Proof for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Matrices as Arrows!
@@ Property / cites work: Matrices as Arrows! / rank @@
+Normal rank
@@ Property / cites work @@
+Q3649106
@@ Property / cites work: Q3649106 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4230824
@@ Property / cites work: Q4230824 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative Kleene coalgebras
@@ Property / cites work: Quantitative Kleene coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Monodic Tree Kleene Algebra
@@ Property / cites work: Monodic Tree Kleene Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Arrow categories
@@ Property / cites work: Arrow categories / rank @@
+Normal rank