A new deconstructive logic: linear logic (Q4372906): Difference between revisions

@@ Property / cites work @@
+A new constructive logic: classic logic
@@ Property / cites work: A new constructive logic: classic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. II
@@ Property / cites work: Untersuchungen über das logische Schliessen. II / rank @@
+Normal rank
@@ Property / cites work @@
+Coherent models of proof nets
@@ Property / cites work: Coherent models of proof nets / rank @@
+Normal rank
@@ Property / cites work @@
+On the linear decoration of intuitionistic derivations
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Recursive programming with proofs
@@ Property / cites work: Recursive programming with proofs / rank @@
+Normal rank
@@ Property / cites work @@
+A symmetric lambda calculus for classical program extraction
+Normal rank
@@ Property / cites work @@
+A general storage theorem for integers in call-by-name \(\lambda\)- calculus
+Normal rank
@@ Property / cites work @@
+Classical logic, storage operators and second-order lambda-calculus
+Normal rank
@@ Property / cites work @@
+Q3997016
@@ Property / cites work: Q3997016 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Interpretation of Non-Finitist Proofs--Part I
+Normal rank
@@ Property / cites work @@
+Cut elimination for the unified logic
@@ Property / cites work: Cut elimination for the unified logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the unity of logic
@@ Property / cites work: On the unity of logic / rank @@
+Normal rank
@@ Property / cites work @@
+Proof strategies in linear logic
@@ Property / cites work: Proof strategies in linear logic / rank @@
+Normal rank