The differential lambda-calculus (Q1884894): Difference between revisions

@@ Property / cites work @@
+Q4457445
@@ Property / cites work: Q4457445 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3342534
@@ Property / cites work: Q3342534 / rank @@
+Normal rank
@@ Property / cites work @@
+*-autonomous categories. With an appendix by Po-Hsiang Chu
+Normal rank
@@ Property / cites work @@
+Q3024825
@@ Property / cites work: Q3024825 / 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 @@
+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 @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Coherent Banach spaces: A continuous denotational semantics
+Normal rank
@@ Property / cites work @@
+Q4360299
@@ Property / cites work: Q4360299 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5837859
@@ Property / cites work: Q5837859 / rank @@
+Normal rank