On the relations between distributive computability and the BSS model (Q1349919): Difference between revisions

@@ Property / cites work @@
+On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
+Normal rank
@@ Property / cites work @@
+Introduction to extensive and distributive categories
+Normal rank
@@ Property / cites work @@
+An imperative language based on distributive categories II
+Normal rank
@@ Property / cites work @@
+Q4729767
@@ Property / cites work: Q4729767 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on recursive functions
@@ Property / cites work: A note on recursive functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3978979
@@ Property / cites work: Q3978979 / rank @@
+Normal rank
@@ Property / cites work @@
+An imperative language based on distributive categories
+Normal rank