Finitely stratified polymorphism (Q1175334): Difference between revisions

@@ Property / cites work @@
+The Expressiveness of Simple and Second-Order Type Structures
+Normal rank
@@ Property / cites work @@
+Q4068706
@@ Property / cites work: Q4068706 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5629622
@@ Property / cites work: Q5629622 / rank @@
+Normal rank
@@ Property / cites work @@
+La prédicativité
@@ Property / cites work: La prédicativité / rank @@
+Normal rank
@@ Property / cites work @@
+Q3816051
@@ Property / cites work: Q3816051 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3204027
@@ Property / cites work: Q3204027 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3035278
@@ Property / cites work: Q3035278 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3340118
@@ Property / cites work: Q3340118 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692880
@@ Property / cites work: Q4692880 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068054
@@ Property / cites work: Q4068054 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3216629
@@ Property / cites work: Q3216629 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3325707
@@ Property / cites work: Q3325707 / rank @@
+Normal rank
@@ Property / cites work @@
+Rekursionszahlen und die Grzegorczyk-Hierarchie
@@ Property / cites work: Rekursionszahlen und die Grzegorczyk-Hierarchie / rank @@
+Normal rank
@@ Property / cites work @@
+The typed lambda-calculus is not elementary recursive
+Normal rank
@@ Property / cites work @@
+The formalization of mathematics
@@ Property / cites work: The formalization of mathematics / rank @@
+Normal rank