Realizability models for BLL-like languages (Q1827395): Difference between revisions

@@ Property / cites work @@
+Q3342534
@@ Property / cites work: Q3342534 / rank @@
+Normal rank
@@ Property / cites work @@
+Stratified coherence spaces: A denotational semantics for light linear logic
+Normal rank
@@ Property / cites work @@
+Light linear logic
@@ Property / cites work: Light linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded linear logic: A modular approach to polynomial-time computability
+Normal rank
@@ Property / cites work @@
+Characterizing complexity classes by higher type primitive recursive definitions
+Normal rank
@@ Property / cites work @@
+Linear types and non-size-increasing polynomial time computation.
+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 @@
+A small complete category
@@ Property / cites work: A small complete category / rank @@
+Normal rank
@@ Property / cites work @@
+Phase semantics for light linear logic
@@ Property / cites work: Phase semantics for light linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3142166
@@ Property / cites work: Q3142166 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3786612
@@ Property / cites work: Q3786612 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3827993
@@ Property / cites work: Q3827993 / rank @@
+Normal rank