Categorical semantics of a simple differential programming language (Q5019684): Difference between revisions

@@ label / en / label / en @@
+Categorical semantics of a simple differential programming language
@@ Property / describes a project that uses @@
+PyTorch
@@ Property / describes a project that uses: PyTorch / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv classification @@
+math.CT
@@ Property / arXiv classification: math.CT / rank @@
+Normal rank
@@ Property / arXiv classification @@
+cs.PL
@@ Property / arXiv classification: cs.PL / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.10491
@@ Property / arXiv ID: 2101.10491 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2852346
@@ Property / cites work: Q2852346 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4558473
@@ Property / cites work: Q4558473 / rank @@
+Normal rank
@@ Property / cites work @@
+Differential calculus over general base fields and rings.
+Normal rank
@@ Property / cites work @@
+Q5287508
@@ Property / cites work: Q5287508 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3552029
@@ Property / cites work: Q3552029 / rank @@
+Normal rank
@@ Property / cites work @@
+Differential categories
@@ Property / cites work: Differential categories / rank @@
+Normal rank
@@ Property / cites work @@
+Differential bundles and fibrations for tangent categories
+Normal rank
@@ Property / cites work @@
+Differential restriction categories
@@ Property / cites work: Differential restriction categories / rank @@
+Normal rank
@@ Property / cites work @@
+Total maps of Turing categories
@@ Property / cites work: Total maps of Turing categories / rank @@
+Normal rank
@@ Property / cites work @@
+Restriction categories. I: Categories of partial maps
+Normal rank
@@ Property / cites work @@
+Differential structure, tangent structure, and SDG
+Normal rank
@@ Property / cites work @@
+Restriction categories III: colimits, partial limits and extensivity
+Normal rank
@@ Property / cites work @@
+Boolean and classical restriction categories
@@ Property / cites work: Boolean and classical restriction categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q2884463
@@ Property / cites work: Q2884463 / rank @@
+Normal rank
@@ Property / cites work @@
+Timed Sets, Functional Complexity, and Computability
+Normal rank
@@ Property / cites work @@
+Q2919773
@@ Property / cites work: Q2919773 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3927377
@@ Property / cites work: Q3927377 / rank @@
+Normal rank
@@ Property / cites work @@
+On 1-form classifiers<sup>∗</sup>
@@ Property / cites work: On 1-form classifiers<sup>∗</sup> / rank @@
+Normal rank
@@ Property / cites work @@
+Q5270493
@@ Property / cites work: Q5270493 / rank @@
+Normal rank
@@ Property / cites work @@
+Cohesive categories and manifolds
@@ Property / cites work: Cohesive categories and manifolds / rank @@
+Normal rank
@@ Property / cites work @@
+Q3918651
@@ Property / cites work: Q3918651 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4875315
@@ Property / cites work: Q4875315 / rank @@
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+A type-theoretical alternative to ISWIM, CUCH, OWHY
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+The delay monad and restriction categories
@@ Property / cites work: The delay monad and restriction categories / rank @@
+Normal rank