On the problem of deciding equality in partial combinatory algebras and in a formal system (Q1236107): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of objects and set theory: Introduction and semantics
+Normal rank
@@ Property / cites work @@
+Some remarks about the connections between Combinatory Logic and axiomatic recursion theory
+Normal rank
@@ Property / cites work @@
+Q4167586
@@ Property / cites work: Q4167586 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraically Generalized Recursive Function Theory
+Normal rank
@@ Property / cites work @@
+On different kinds of indefinite
@@ Property / cites work: On different kinds of indefinite / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1236107