Categorical Models for Simply Typed Resource Calculi (Q3178254): 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.2010.08.013
+Normal rank
@@ Property / OpenAlex ID @@
+W4297786044
@@ Property / OpenAlex ID: W4297786044 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999603
@@ Property / cites work: Q3999603 / 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 @@
+Not Enough Points Is Enough
@@ Property / cites work: Not Enough Points Is Enough / rank @@
+Normal rank
@@ Property / cites work @@
+The differential lambda-calculus
@@ Property / cites work: The differential lambda-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Finiteness spaces
@@ Property / cites work: Finiteness spaces / 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 @@
+Differential interaction nets
@@ Property / cites work: Differential interaction nets / rank @@
+Normal rank
@@ Property / cites work @@
+Uniformity and the Taylor expansion of ordinary lambda-terms
+Normal rank
@@ Property / cites work @@
+Normal functors, power series and \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Confluence of Pure Differential Nets with Promotion
+Normal rank