Realizability models and implicit complexity (Q534712): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2010.12.025
@@ Property / DOI: 10.1016/j.tcs.2010.12.025 / rank @@
-Normal rank
@@ 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.tcs.2010.12.025
+Normal rank
@@ Property / OpenAlex ID @@
+W1989703373
@@ Property / OpenAlex ID: W1989703373 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic Light Affine Logic
@@ Property / cites work: Intuitionistic Light Affine Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Q3221960
@@ Property / cites work: Q3221960 / rank @@
+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 @@
+Q5753923
@@ Property / cites work: Q5753923 / rank @@
+Normal rank
@@ Property / cites work @@
+FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+A semantic proof of polytime soundness of light 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 @@
+Q3994895
@@ Property / cites work: Q3994895 / 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 @@
+Linear types and non-size-increasing polynomial time computation.
+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 @@
+A small complete category
@@ Property / cites work: A small complete category / 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 @@
+Q3786612
@@ Property / cites work: Q3786612 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385524
@@ Property / cites work: Q4385524 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2010.12.025
@@ Property / DOI: 10.1016/J.TCS.2010.12.025 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:534712