How to assign ordinal numbers to combinatory terms with polymorphic types (Q453195): Difference between revisions

@@ Property / cites work @@
+Q2778814
@@ Property / cites work: Q2778814 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934555
@@ Property / cites work: Q4934555 / rank @@
+Normal rank
@@ Property / cites work @@
+Analyzing Gödel's T Via Expanded Head Reduction Trees
+Normal rank
@@ Property / cites work @@
+Typed Lambda Calculi and Applications
@@ Property / cites work: Typed Lambda Calculi and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatory logic. With two sections by William Craig.
+Normal rank
@@ Property / cites work @@
+Combinatory logic. Vol. II
@@ Property / cites work: Combinatory logic. Vol. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q5591512
@@ Property / cites work: Q5591512 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5606582
@@ Property / cites work: Q5606582 / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinal analysis of terms of finite type
@@ Property / cites work: Ordinal analysis of terms of finite type / rank @@
+Normal rank
@@ Property / cites work @@
+Q3912575
@@ Property / cites work: Q3912575 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4428884
@@ Property / cites work: Q4428884 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3325707
@@ Property / cites work: Q3325707 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4143279
@@ Property / cites work: Q4143279 / rank @@
+Normal rank
@@ Property / cites work @@
+On the fundamental conjecture of \(GLC\). I, II
@@ Property / cites work: On the fundamental conjecture of \(GLC\). I, II / rank @@
+Normal rank
@@ Property / cites work @@
+On the fundamental conjecture of \(GLC\). V
@@ Property / cites work: On the fundamental conjecture of \(GLC\). V / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory. 2nd ed
@@ Property / cites work: Proof theory. 2nd ed / rank @@
+Normal rank
@@ Property / cites work @@
+On definition trees of ordinal recursive functionals: Reduction of the recursion orders by means of type level raising
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank