Embeddings between partial combinatory algebras (Q6158341): Difference between revisions

@@ Property / cites work @@
+A sufficient condition for completability of partial combinatory algebras
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q3679172
@@ Property / cites work: Q3679172 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorie der Numerierungen I
@@ Property / cites work: Theorie der Numerierungen I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4128540
@@ Property / cites work: Q4128540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5625130
@@ Property / cites work: Q5625130 / rank @@
+Normal rank
@@ Property / cites work @@
+Extensional realizability for intuitionistic set theory
+Normal rank
@@ Property / cites work @@
+Q5343325
@@ Property / cites work: Q5343325 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-Order Computability
@@ Property / cites work: Higher-Order Computability / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability and recursive set theory
@@ Property / cites work: Realizability and recursive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. The theory of functions and sets of natural numbers
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. Vol. II
@@ Property / cites work: Classical recursion theory. Vol. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q4083398
@@ Property / cites work: Q4083398 / rank @@
+Normal rank
@@ Property / cites work @@
+ORDINAL ANALYSIS OF PARTIAL COMBINATORY ALGEBRAS
@@ Property / cites work: ORDINAL ANALYSIS OF PARTIAL COMBINATORY ALGEBRAS / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040892
@@ Property / cites work: Q4040892 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / cites work @@
+Q4938567
@@ Property / cites work: Q4938567 / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability. An introduction to its categorical side
+Normal rank
@@ Property / cites work @@
+Uniformly Reflexive Structures: On the Nature of Godelizations and Relative Computability
+Normal rank