Reverse AD at higher types: pure, principled and denotationally correct (Q2233481): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3148154580
@@ Property / OpenAlex ID: W3148154580 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.05283
@@ Property / arXiv ID: 2007.05283 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417849
@@ Property / cites work: Q4417849 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Versatility of Open Logical Relations
@@ Property / cites work: On the Versatility of Open Logical Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474834
@@ Property / cites work: Q4474834 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4904081
@@ Property / cites work: Q4904081 / rank @@
+Normal rank
@@ Property / cites work @@
+A linear logical framework
@@ Property / cites work: A linear logical framework / rank @@
+Normal rank
@@ Property / cites work @@
+Q5874204
@@ Property / cites work: Q5874204 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical combinators
@@ Property / cites work: Categorical combinators / rank @@
+Normal rank
@@ Property / cites work @@
+Q3714050
@@ Property / cites work: Q3714050 / rank @@
+Normal rank
@@ Property / cites work @@
+Enriching an Effect Calculus with Linear Types
@@ Property / cites work: Enriching an Effect Calculus with Linear Types / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to differential linear logic: proof-nets, models and antiderivatives
+Normal rank
@@ Property / cites work @@
+Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic
+Normal rank
@@ Property / cites work @@
+Q3963734
@@ Property / cites work: Q3963734 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040131
@@ Property / cites work: Q4040131 / rank @@
+Normal rank
@@ Property / cites work @@
+Correctness of automatic differentiation via diffeologies and categorical gluing
+Normal rank
@@ Property / cites work @@
+Q2920081
@@ Property / cites work: Q2920081 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / rank @@
+Normal rank
@@ Property / cites work @@
+Quasitoposes, Quasiadhesive Categories and Artin Glueing
+Normal rank
@@ Property / cites work @@
+Q5470454
@@ Property / cites work: Q5470454 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040149
@@ Property / cites work: Q4040149 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4829806
@@ Property / cites work: Q4829806 / rank @@
+Normal rank
@@ Property / cites work @@
+Nesting forward-mode AD in a functional framework
@@ Property / cites work: Nesting forward-mode AD in a functional framework / rank @@
+Normal rank
@@ Property / cites work @@
+Q3966795
@@ Property / cites work: Q3966795 / rank @@
+Normal rank
@@ Property / cites work @@
+A Categorical Semantics for Linear Logical Frameworks
+Normal rank
@@ Property / cites work @@
+Reverse AD at higher types: pure, principled and denotationally correct
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2233481