Elementary Proof of Strong Normalization for Atomic F (Q2957669): 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.18778/0138-0680.45.1.01
+Normal rank
@@ Property / OpenAlex ID @@
+W2617835031
@@ Property / OpenAlex ID: W2617835031 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778814
@@ Property / cites work: Q2778814 / rank @@
+Normal rank
@@ Property / cites work @@
+Exact bounds for lengths of reductions in typed <i>λ</i>-calculus
+Normal rank
@@ Property / cites work @@
+A simple proof of Parsons' theorem
@@ Property / cites work: A simple proof of Parsons' theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Comments on predicative logic
@@ Property / cites work: Comments on predicative logic / rank @@
+Normal rank
@@ Property / cites work @@
+Atomic polymorphism
@@ Property / cites work: Atomic polymorphism / rank @@
+Normal rank
@@ Property / cites work @@
+The faithfulness of \(\mathbf{F_{at}}\): a proof-theoretic proof
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Short proofs of normalization for the simply-typed \(\lambda\)-calculus, permutative conversions and Gödel's \(\mathbf T\)
+Normal rank
@@ Property / cites work @@
+An upper bound for reduction sequences in the typed \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Intensional interpretations of functionals of finite type I
+Normal rank
@@ Property / cites work @@
+Q4716271
@@ Property / cites work: Q4716271 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank