Strong Normalisation of Cut-Elimination That Simulates β-Reduction (Q5458374): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-78499-9_27
+Normal rank
@@ Property / OpenAlex ID @@
+W1578162183
@@ Property / OpenAlex ID: W1578162183 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+λν, a calculus of explicit substitutions which preserves strong normalisation
+Normal rank
@@ Property / cites work @@
+Q4357055
@@ Property / cites work: Q4357055 / rank @@
+Normal rank
@@ 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 @@
+Permutability of proofs in intuitionistic sequent calculi
+Normal rank
@@ Property / cites work @@
+Strong Normalization of Herbelin's Explicit Substitution Calculus with Substitution Propagation
+Normal rank
@@ Property / cites work @@
+Q4474830
@@ Property / cites work: Q4474830 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922646
@@ Property / cites work: Q3922646 / rank @@
+Normal rank
@@ Property / cites work @@
+Resource operators for \(\lambda\)-calculus
@@ Property / cites work: Resource operators for \(\lambda\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+On a Local-Step Cut-Elimination Procedure for the Intuitionistic Sequent Calculus
+Normal rank
@@ Property / cites work @@
+Confluence of Cut-Elimination Procedures for the Intuitionistic Sequent Calculus
+Normal rank
@@ Property / cites work @@
+Strong Normalisation of Cut-Elimination That Simulates β-Reduction
+Normal rank
@@ Property / cites work @@
+Q3918095
@@ Property / cites work: Q3918095 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2844073
@@ Property / cites work: Q2844073 / rank @@
+Normal rank
@@ Property / cites work @@
+An Isomorphism Between Cut-Elimination Procedure and Proof Reduction
+Normal rank
@@ Property / cites work @@
+Normalization as a homomorphic image of cut-elimination
+Normal rank
@@ Property / cites work @@
+Q2754180
@@ Property / cites work: Q2754180 / rank @@
+Normal rank
@@ Property / cites work @@
+Strong normalization from weak normalization in typed \(\lambda\)-calculi
+Normal rank
@@ Property / cites work @@
+Lectures on the Curry-Howard isomorphism
@@ Property / cites work: Lectures on the Curry-Howard isomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263882
@@ Property / cites work: Q4263882 / rank @@
+Normal rank
@@ Property / cites work @@
+Perpetual reductions in \(\lambda\)-calculus
@@ Property / cites work: Perpetual reductions in \(\lambda\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024920
@@ Property / cites work: Q3024920 / rank @@
+Normal rank
@@ Property / cites work @@
+The correspondence between cut-elimination and normalization
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5458374