Effective applicative structures (Q5057467): Difference between revisions

@@ Property / cites work @@
+A sufficient condition for completability of partial combinatory algebras
+Normal rank
@@ Property / cites work @@
+Q3999603
@@ Property / cites work: Q3999603 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4100066
@@ Property / cites work: Q4100066 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3679172
@@ Property / cites work: Q3679172 / rank @@
+Normal rank
@@ Property / cites work @@
+A discrimination algorithm inside \(\lambda -\beta\)-calculus
+Normal rank
@@ Property / cites work @@
+Q4770390
@@ Property / cites work: Q4770390 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5625130
@@ Property / cites work: Q5625130 / rank @@
+Normal rank
@@ Property / cites work @@
+The discrimination theorem holds for combinatory weak reduction
+Normal rank
@@ Property / cites work @@
+Q5654032
@@ Property / cites work: Q5654032 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. The theory of functions and sets of natural numbers
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of rules for enumerated classes of functions
+Normal rank
@@ Property / cites work @@
+Partial Applicative Theories and Explicit Substitutions
+Normal rank
@@ Property / cites work @@
+Algebraically Generalized Recursive Function Theory
+Normal rank
@@ Property / cites work @@
+Uniformly Reflexive Structures: On the Nature of Godelizations and Relative Computability
+Normal rank