Characterizing polynomial and exponential complexity classes in elementary lambda-calculus (Q1640981): Difference between revisions

@@ Property / author @@
-Simonetta Ronchi della Rocca
@@ Property / author: Simonetta Ronchi della Rocca / rank @@
-Normal rank
@@ Property / author @@
+Simonetta Ronchi della Rocca
@@ Property / author: Simonetta Ronchi della Rocca / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q115574493
@@ Property / Wikidata QID: Q115574493 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2804330401
@@ Property / OpenAlex ID: W2804330401 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4265595
@@ Property / cites work: Q4265595 / rank @@
+Normal rank
@@ Property / cites work @@
+The expressive power of higher-order types or, life without CONS
+Normal rank
@@ Property / cites work @@
+Q4850553
@@ Property / cites work: Q4850553 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3142166
@@ Property / cites work: Q3142166 / rank @@
+Normal rank
@@ Property / cites work @@
+Light linear logic
@@ Property / cites work: Light linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Programming languages and systems. 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5--7, 2011. Proceedings
+Normal rank
@@ Property / cites work @@
+Linear logic and elementary time
@@ Property / cites work: Linear logic and elementary time / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic and polynomial time
@@ Property / cites work: Linear logic and polynomial time / rank @@
+Normal rank
@@ Property / cites work @@
+Context semantics, linear logic, and computational complexity
+Normal rank
@@ Property / cites work @@
+Light affine lambda calculus and polynomial time strong normalization
+Normal rank
@@ Property / cites work @@
+An Elementary Affine λ-Calculus with Multithreading and Side Effects
+Normal rank
@@ Property / cites work @@
+Light Logics and the Call-by-Value Lambda Calculus
+Normal rank
@@ Property / cites work @@
+Lambda calculus and intuitionistic linear logic
@@ Property / cites work: Lambda calculus and intuitionistic linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum implicit computational complexity
@@ Property / cites work: Quantum implicit computational complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus
+Normal rank
@@ Property / cites work @@
+Descendants and origins in term rewriting.
@@ Property / cites work: Descendants and origins in term rewriting. / rank @@
+Normal rank
@@ Property / cites work @@
+The parametric lambda calculus. A metamodel for computation.
+Normal rank
@@ Property / cites work @@
+Stratified coherence spaces: A denotational semantics for light linear logic
+Normal rank
@@ Property / cites work @@
+On light logics, uniform encodings and polynomial time
+Normal rank
@@ Property / cites work @@
+Q3392273
@@ Property / cites work: Q3392273 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1640981