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

@@ Property / author @@
+V. C. V. de Paiva
@@ Property / author: V. C. V. de Paiva / rank @@
+Normal rank
@@ Property / author @@
+Charles J. G. Morgan
@@ Property / author: Charles J. G. Morgan / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2014.06.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2026744363
@@ Property / OpenAlex ID: W2026744363 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q56994452
@@ Property / Wikidata QID: Q56994452 / rank @@
+Normal rank
@@ 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
@@ Property / DBLP publication ID @@
+journals/entcs/PaivaMS14
@@ Property / DBLP publication ID: journals/entcs/PaivaMS14 / rank @@
+Normal rank