Computable functionals of finite types (Q1844827): Difference between revisions

@@ Property / author @@
+Yuri L. Ershov
@@ Property / author: Yuri L. Ershov / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3281965
@@ Property / cites work: Q3281965 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3256318
@@ Property / cites work: Q3256318 / rank @@
+Normal rank
@@ Property / cites work @@
+On the indexing of classes of recursively enumerable sets
+Normal rank