Order-incompleteness and finite lambda reduction models (Q1884896): Difference between revisions

@@ Property / cites work @@
+Q4843177
@@ Property / cites work: Q4843177 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q4160405
@@ Property / cites work: Q4160405 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4096985
@@ Property / cites work: Q4096985 / rank @@
+Normal rank
@@ Property / cites work @@
+The system \({\mathcal F}\) of variable types, fifteen years later
+Normal rank
@@ Property / cites work @@
+On \(n\)-permutable congruences
@@ Property / cites work: On \(n\)-permutable congruences / 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 @@
+A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
+Normal rank
@@ Property / cites work @@
+Filter models with polymorphic types
@@ Property / cites work: Filter models with polymorphic types / rank @@
+Normal rank
@@ Property / cites work @@
+Q5829835
@@ Property / cites work: Q5829835 / rank @@
+Normal rank
@@ Property / cites work @@
+A semantics for static type inference
@@ Property / cites work: A semantics for static type inference / 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 @@
+The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty  $-Models of the Lambda-Calculus
+Normal rank