On the completeness of order-theoretic models of the \(\lambda \)-calculus (Q1021569): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2008.03.027
+Normal rank
@@ Property / OpenAlex ID @@
+W1997705949
@@ Property / OpenAlex ID: W1997705949 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3325069
@@ Property / cites work: Q3325069 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847018
@@ Property / cites work: Q4847018 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Lambda Theories of Effective Lambda Models
@@ Property / cites work: Lambda Theories of Effective Lambda Models / rank @@
+Normal rank
@@ Property / cites work @@
+An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus
+Normal rank
@@ Property / cites work @@
+Applying Universal Algebra to Lambda Calculus
@@ Property / cites work: Applying Universal Algebra to Lambda Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+On a question of H. Friedman
@@ Property / cites work: On a question of H. Friedman / rank @@
+Normal rank
@@ Property / cites work @@
+Topological incompleteness and order incompleteness of the lambda calculus
+Normal rank
@@ Property / cites work @@
+A type-theoretical alternative to ISWIM, CUCH, OWHY
+Normal rank
@@ Property / cites work @@
+Order-incompleteness and finite lambda reduction models
+Normal rank
@@ Property / cites work @@
+Q3969890
@@ Property / cites work: Q3969890 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank