A semantic proof of polytime soundness of light affine logic (Q987375): 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.1007/s00224-009-9210-x
+Normal rank
@@ Property / OpenAlex ID @@
+W1967535898
@@ Property / OpenAlex ID: W1967535898 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4457446
@@ Property / cites work: Q4457446 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Higher type recursion, ramification and polynomial time
+Normal rank
@@ Property / cites work @@
+Functional interpretations of feasibly constructive arithmetic
+Normal rank
@@ Property / cites work @@
+Q2778817
@@ Property / cites work: Q2778817 / rank @@
+Normal rank
@@ Property / cites work @@
+FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Phase semantics and decidability of elementary affine logic
+Normal rank
@@ Property / cites work @@
+The weak lambda calculus as a reasonable machine
@@ Property / cites work: The weak lambda calculus as a reasonable machine / rank @@
+Normal rank
@@ Property / cites work @@
+Light linear logic
@@ Property / cites work: Light linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3791120
@@ Property / cites work: Q3791120 / rank @@
+Normal rank
@@ Property / cites work @@
+Safe recursion with higher types and BCK-algebra
@@ Property / cites work: Safe recursion with higher types and BCK-algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability models for BLL-like languages
@@ Property / cites work: Realizability models for BLL-like languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q5344164
@@ Property / cites work: Q5344164 / rank @@
+Normal rank
@@ Property / cites work @@
+Soft linear logic and polynomial time
@@ Property / cites work: Soft linear logic and polynomial time / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753690
@@ Property / cites work: Q2753690 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945245
@@ Property / cites work: Q4945245 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385524
@@ Property / cites work: Q4385524 / rank @@
+Normal rank