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 / author @@
-Samuel Gomes da Silva
@@ Property / author: Samuel Gomes da Silva / rank @@
-Normal rank
@@ Property / author @@
+Samuel Gomes da Silva
@@ Property / author: Samuel Gomes da Silva / rank @@
+Normal rank
@@ 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 / Mathematics Subject Classification ID @@
+B47
@@ Property / Mathematics Subject Classification ID: 03B47 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F52
@@ Property / Mathematics Subject Classification ID: 03F52 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G30
@@ Property / Mathematics Subject Classification ID: 03G30 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6578787
@@ Property / zbMATH DE Number: 6578787 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+categorical logic
@@ Property / zbMATH Keywords: categorical logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+linear logic
@@ Property / zbMATH Keywords: linear logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+natural numbers object
@@ Property / zbMATH Keywords: natural numbers object / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Dialectica categories
@@ Property / zbMATH Keywords: Dialectica categories / 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
@@ links / mardi / name / links / mardi / name @@
+Publication:281151