Conservation and uniform normalization in lambda calculi with erasing reductions (Q1854562): Difference between revisions

@@ Property / author @@
+Morten Heine B. Sørensen
@@ Property / author: Morten Heine B. Sørensen / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Automath
@@ Property / describes a project that uses: Automath / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The ant-lion paradigm for strong normalization
@@ Property / cites work: The ant-lion paradigm for strong normalization / rank @@
+Normal rank
@@ Property / cites work @@
+Intensional interpretations of functionals of finite type I
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak normalization implies strong normalization in a class of non-dependent pure type systems
+Normal rank
@@ Property / cites work @@
+Q4281472
@@ Property / cites work: Q4281472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3918095
@@ Property / cites work: Q3918095 / rank @@
+Normal rank
@@ Property / cites work @@
+Strong normalization from weak normalization in typed \(\lambda\)-calculi
+Normal rank
@@ Property / cites work @@
+Q3674616
@@ Property / cites work: Q3674616 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q4182476
@@ Property / cites work: Q4182476 / 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 @@
+Perpetuality and uniform normalization in orthogonal rewrite systems
+Normal rank
@@ Property / cites work @@
+Semantical analysis of perpetual strategies in \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Combinatory logic. With two sections by William Craig.
+Normal rank
@@ Property / cites work @@
+Q4716271
@@ Property / cites work: Q4716271 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive logics. I: A tutorial on proof systems and typed \(\lambda\)- calculi
+Normal rank
@@ Property / cites work @@
+Proving algorithms by tail functions
@@ Property / cites work: Proving algorithms by tail functions / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Parallel reductions in \(\lambda\)-calculus
@@ Property / cites work: Parallel reductions in \(\lambda\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Some Properties of Conversion
@@ Property / cites work: Some Properties of Conversion / rank @@
+Normal rank