An introduction to differential linear logic: proof-nets, models and antiderivatives (Q4577980): Difference between revisions

@@ Property / describes a project that uses @@
+Automath
@@ Property / describes a project that uses: Automath / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.01642
@@ Property / arXiv ID: 1606.01642 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational interpretations of linear logic
@@ Property / cites work: Computational interpretations of linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024825
@@ Property / cites work: Q3024825 / 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 @@
+A semantics for lambda calculi with resources
@@ Property / cites work: A semantics for lambda calculi with resources / rank @@
+Normal rank
@@ Property / cites work @@
+Full Abstraction for Resource Calculus with Tests
@@ Property / cites work: Full Abstraction for Resource Calculus with Tests / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible, irreversible and optimal \(\lambda\)-machines
+Normal rank
@@ Property / cites work @@
+Q3793765
@@ Property / cites work: Q3793765 / rank @@
+Normal rank
@@ Property / cites work @@
+On Köthe sequence spaces and linear logic
@@ Property / cites work: On Köthe sequence spaces and linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Finiteness spaces
@@ Property / cites work: Finiteness spaces / rank @@
+Normal rank
@@ Property / cites work @@
+The Scott model of linear logic is the extensional collapse of its relational model
+Normal rank
@@ Property / cites work @@
+A new correctness criterion for MLL proof nets
@@ Property / cites work: A new correctness criterion for MLL proof nets / rank @@
+Normal rank
@@ Property / cites work @@
+The differential lambda-calculus
@@ Property / cites work: The differential lambda-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Approaches to Computational Barriers
@@ Property / cites work: Logical Approaches to Computational Barriers / rank @@
+Normal rank
@@ Property / cites work @@
+Uniformity and the Taylor expansion of ordinary lambda-terms
+Normal rank
@@ Property / cites work @@
+Q4494368
@@ Property / cites work: Q4494368 / rank @@
+Normal rank
@@ Property / cites work @@
+Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic
+Normal rank
@@ Property / cites work @@
+Realizability Proof for Normalization of Full Differential Linear Logic
+Normal rank
@@ Property / cites work @@
+The system \({\mathcal F}\) of variable types, fifteen years later
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Normal functors, power series and \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Linear domains and linear maps
@@ Property / cites work: Linear domains and linear maps / rank @@
+Normal rank
@@ Property / cites work @@
+A call-by-name lambda-calculus machine
@@ Property / cites work: A call-by-name lambda-calculus machine / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine
+Normal rank
@@ Property / cites work @@
+Q3075441
@@ Property / cites work: Q3075441 / rank @@
+Normal rank
@@ Property / cites work @@
+The Cut-Elimination Theorem for Differential Nets with Promotion
+Normal rank
@@ Property / cites work @@
+The conservation theorem for differential nets
@@ Property / cites work: The conservation theorem for differential nets / rank @@
+Normal rank
@@ Property / cites work @@
+Handsome proof-nets: Perfect matchings and cographs
+Normal rank
@@ Property / cites work @@
+Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1--3, 2009. Proceedings
+Normal rank
@@ Property / cites work @@
+Transport of finiteness structures and applications
+Normal rank
@@ Property / cites work @@
+Confluence of Pure Differential Nets with Promotion
+Normal rank
@@ Property / cites work @@
+The differential \(\lambda \mu\)-calculus
@@ Property / cites work: The differential \(\lambda \mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+The algebraic lambda calculus
@@ Property / cites work: The algebraic lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4650579
@@ Property / cites work: Q4650579 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2409783831
@@ Property / OpenAlex ID: W2409783831 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4577980