Categorical models of the differential \(\lambda\)-calculus revisited (Q1744378): Difference between revisions

@@ 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.2016.09.032
+Normal rank
@@ Property / OpenAlex ID @@
+W2528395280
@@ Property / OpenAlex ID: W2528395280 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317640
@@ Property / Wikidata QID: Q113317640 / rank @@
+Normal rank
@@ Property / cites work @@
+Differential categories
@@ Property / cites work: Differential categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3552029
@@ Property / cites work: Q3552029 / rank @@
+Normal rank
@@ Property / cites work @@
+Cartesian Differential Storage Categories
@@ Property / cites work: Cartesian Differential Storage Categories / 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 @@
+Q4222749
@@ Property / cites work: Q4222749 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical Models for Simply Typed Resource Calculi
+Normal rank
@@ Property / cites work @@
+Introduction to Turing categories
@@ Property / cites work: Introduction to Turing categories / 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 differential lambda-calculus
@@ Property / cites work: The differential lambda-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic
+Normal rank
@@ Property / cites work @@
+Models of the lambda calculus
@@ Property / cites work: Models of the lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+A category-theoretic characterization of functional completeness
+Normal rank
@@ Property / cites work @@
+What is a categorical model of the differential and the resource λ-calculi?
+Normal rank