Typing untyped \(\lambda\)-terms, or reducibility strikes again! (Q1295368): Difference between revisions

@@ Property / cites work @@
+A new type assignment for λ-terms
@@ Property / cites work: A new type assignment for λ-terms / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of basic functionality theory for \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Functional Characters of Solvable Terms
@@ Property / cites work: Functional Characters of Solvable Terms / rank @@
+Normal rank
@@ Property / cites work @@
+Q5691056
@@ Property / cites work: Q5691056 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving properties of typed \(\lambda\)-terms using realizability, covers, and sheaves
+Normal rank
@@ Property / cites work @@
+Q5625124
@@ Property / cites work: Q5625124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281473
@@ Property / cites work: Q4281473 / rank @@
+Normal rank
@@ Property / cites work @@
+Church-Rosser theorem for typed functional systems
+Normal rank
@@ Property / cites work @@
+Q3997016
@@ Property / cites work: Q3997016 / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of strong normalization for \(F_ 2\), \(F_ \omega\), and beyond
+Normal rank
@@ Property / cites work @@
+Q3922646
@@ Property / cites work: Q3922646 / rank @@
+Normal rank
@@ Property / cites work @@
+Intensional interpretations of functionals of finite type I
+Normal rank
@@ Property / cites work @@
+Q4093416
@@ Property / cites work: Q4093416 / rank @@
+Normal rank