New Curry-Howard terms for full linear logic (Q1390952): Difference between revisions

@@ Property / cites work @@
+Computational interpretations of linear logic
@@ Property / cites work: Computational interpretations of linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281466
@@ Property / cites work: Q4281466 / rank @@
+Normal rank
@@ Property / cites work @@
+The calculus of constructions
@@ Property / cites work: The calculus of constructions / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive logics. I: A tutorial on proof systems and typed \(\lambda\)- calculi
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded linear logic: A modular approach to polynomial-time computability
+Normal rank
@@ Property / cites work @@
+Q4692468
@@ Property / cites work: Q4692468 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922646
@@ Property / cites work: Q3922646 / rank @@
+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 @@
+Q5610986
@@ Property / cites work: Q5610986 / rank @@
+Normal rank
@@ Property / cites work @@
+Natural deduction for intuitionistic linear logic
@@ Property / cites work: Natural deduction for intuitionistic linear logic / rank @@
+Normal rank