Linearizing Combinators (Q5037747): Difference between revisions

@@ label / en / label / en @@
+Linearizing Combinators
@@ Property / author @@
-J. Robin B. Cockett
@@ Property / author: J. Robin B. Cockett / rank @@
-Normal rank
@@ Property / author @@
+J. Robin B. Cockett
@@ Property / author: J. Robin B. Cockett / 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.LO
@@ Property / arXiv classification: cs.LO / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.15490
@@ Property / arXiv ID: 2010.15490 / rank @@
+Normal rank
@@ Property / cites work @@
+Directional derivatives and higher order chain rules for abelian functor calculus
+Normal rank
@@ Property / cites work @@
+Cartesian Differential Storage Categories
@@ Property / cites work: Cartesian Differential Storage Categories / 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 @@
+Q4904081
@@ Property / cites work: Q4904081 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical Models for Simply Typed Resource Calculi
+Normal rank
@@ Property / cites work @@
+Skew-enriched categories
@@ Property / cites work: Skew-enriched categories / rank @@
+Normal rank
@@ Property / cites work @@
+Differential structure, tangent structure, and SDG
+Normal rank
@@ Property / cites work @@
+Differential restriction categories
@@ Property / cites work: Differential restriction categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q2884463
@@ Property / cites work: Q2884463 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical models of the differential λ-calculus
+Normal rank
@@ Property / cites work @@
+Q5874203
@@ Property / cites work: Q5874203 / rank @@
+Normal rank
@@ Property / cites work @@
+Cartesian differential categories revisited
@@ Property / cites work: Cartesian differential categories revisited / rank @@
+Normal rank
@@ Property / cites work @@
+The differential lambda-calculus
@@ Property / cites work: The differential lambda-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Calculus. I: The first derivative of pseudoisotopy theory
+Normal rank
@@ Property / cites work @@
+Q4011148
@@ Property / cites work: Q4011148 / rank @@
+Normal rank
@@ Property / cites work @@
+Calculus. III: Taylor series
@@ Property / cites work: Calculus. III: Taylor series / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Deriving calculus with cotriples
@@ Property / cites work: Deriving calculus with cotriples / rank @@
+Normal rank
@@ Property / cites work @@
+Q4360299
@@ Property / cites work: Q4360299 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040149
@@ Property / cites work: Q4040149 / rank @@
+Normal rank
@@ Property / cites work @@
+A Tangent Category Alternative to the Fa\`a di Bruno Construction
+Normal rank
@@ Property / cites work @@
+What is a categorical model of the differential and the resource λ-calculi?
+Normal rank
@@ Property / cites work @@
+Closed categories vs. closed multicategories
@@ Property / cites work: Closed categories vs. closed multicategories / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5037747