Natural number objects in Dialectica categories (Q281151): Difference between revisions

@@ Property / cites work @@
+Linear Recursive Functions
@@ Property / cites work: Linear Recursive Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Gödel's system \(\mathcal T\) revisited
@@ Property / cites work: Gödel's system \(\mathcal T\) revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q3715301
@@ Property / cites work: Q3715301 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3829551
@@ Property / cites work: Q3829551 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5298120
@@ Property / cites work: Q5298120 / rank @@
+Normal rank
@@ Property / cites work @@
+AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
@@ Property / cites work: AN ELEMENTARY THEORY OF THE CATEGORY OF SETS / rank @@
+Normal rank
@@ Property / cites work @@
+An internal language for autonomous categories
@@ Property / cites work: An internal language for autonomous categories / rank @@
+Normal rank
@@ Property / cites work @@
+Monoidal categories with natural numbers object
@@ Property / cites work: Monoidal categories with natural numbers object / rank @@
+Normal rank
@@ Property / cites work @@
+Partial Recursive Functions and Finality
@@ Property / cites work: Partial Recursive Functions and Finality / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994458
@@ Property / cites work: Q3994458 / rank @@
+Normal rank