Call-by-name reduction and cut-elimination in classical logic (Q2482842): Difference between revisions

@@ Property / cites work @@
+Explicit substitution. On the edge of strong normalization
+Normal rank
@@ Property / cites work @@
+The duality of computation
@@ Property / cites work: The duality of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842975
@@ Property / cites work: Q4842975 / rank @@
+Normal rank
@@ Property / cites work @@
+A new deconstructive logic: linear logic
@@ Property / cites work: A new deconstructive logic: linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Strong Normalization of Herbelin's Explicit Substitution Calculus with Substitution Propagation
+Normal rank
@@ Property / cites work @@
+Q2754180
@@ Property / cites work: Q2754180 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474830
@@ Property / cites work: Q4474830 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit Substitutions and Reducibility
@@ Property / cites work: Explicit Substitutions and Reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+Q2844073
@@ Property / cites work: Q2844073 / rank @@
+Normal rank
@@ Property / cites work @@
+A Sequent Calculus for Type Theory
@@ Property / cites work: A Sequent Calculus for Type Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255509
@@ Property / cites work: Q4255509 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs of strong normalisation for second order classical natural deduction
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-value is dual to call-by-name
@@ Property / cites work: Call-by-value is dual to call-by-name / rank @@
+Normal rank