Collapsing partial combinatory algebras (Q4645804): Difference between revisions

@@ Property / cites work @@
+Effective applicative structures
@@ Property / cites work: Effective applicative structures / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q3206926
@@ Property / cites work: Q3206926 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3679172
@@ Property / cites work: Q3679172 / rank @@
+Normal rank
@@ Property / cites work @@
+On the existence of extensional partial combinatory algebras
+Normal rank
@@ Property / cites work @@
+Finite type structures within combinatory algebras
+Normal rank
@@ Property / cites work @@
+Some new results on easy lambda-terms
@@ Property / cites work: Some new results on easy lambda-terms / rank @@
+Normal rank
@@ Property / cites work @@
+Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras and combinators
@@ Property / cites work: Algebras and combinators / rank @@
+Normal rank
@@ Property / cites work @@
+Q4200260
@@ Property / cites work: Q4200260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4722037
@@ Property / cites work: Q4722037 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4128535
@@ Property / cites work: Q4128535 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3691635
@@ Property / cites work: Q3691635 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3817590
@@ Property / cites work: Q3817590 / rank @@
+Normal rank
@@ Property / cites work @@
+Data Types as Lattices
@@ Property / cites work: Data Types as Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q5286647
@@ Property / cites work: Q5286647 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraically Generalized Recursive Function Theory
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / cites work @@
+Uniformly Reflexive Structures: On the Nature of Godelizations and Relative Computability
+Normal rank