Natural deduction for intuitionistic linear logic (Q1891252): 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 @@
+Strong normalisation for the linear term calculus
@@ Property / cites work: Strong normalisation for the linear term calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4283230
@@ Property / cites work: Q4283230 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer science logic. 6th workshop, CSL '92, San Miniato, Italy, September 28 -- October 2, 1992. Selected papers
+Normal rank
@@ Property / cites work @@
+Existential instantiation and normalization in sequent natural deduction
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5632554
@@ Property / cites work: Q5632554 / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
+Normal rank
@@ Property / cites work @@
+Q4495851
@@ Property / cites work: Q4495851 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank