Easy lambda-terms are not always simple (Q2889181): Difference between revisions

@@ Property / cites work @@
+Simple Easy Terms
@@ Property / cites work: Simple Easy Terms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4448355
@@ Property / cites work: Q4448355 / rank @@
+Normal rank
@@ Property / cites work @@
+Intersection types and domain operators
@@ Property / cites work: Intersection types and domain operators / rank @@
+Normal rank
@@ Property / cites work @@
+Q3206926
@@ Property / cites work: Q3206926 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+A filter lambda model and the completeness of type assignment
+Normal rank
@@ Property / cites work @@
+Q4896520
@@ Property / cites work: Q4896520 / rank @@
+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 @@
+From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models
+Normal rank
@@ Property / cites work @@
+Graph models of $\lambda$-calculus at work, and variations
+Normal rank
@@ Property / cites work @@
+Easiness in graph models
@@ Property / cites work: Easiness in graph models / rank @@
+Normal rank
@@ Property / cites work @@
+Effective λ-models versus recursively enumerable λ-theories
+Normal rank
@@ Property / cites work @@
+Q4160405
@@ Property / cites work: Q4160405 / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of basic functionality theory for \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Q3221961
@@ Property / cites work: Q3221961 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras and combinators
@@ Property / cites work: Algebras and combinators / 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 @@
+Q3982064
@@ Property / cites work: Q3982064 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4128535
@@ Property / cites work: Q4128535 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3869319
@@ Property / cites work: Q3869319 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3691635
@@ Property / cites work: Q3691635 / rank @@
+Normal rank
@@ Property / cites work @@
+Isomorphism and equational equivalence of continuous \(\lambda\)-models
+Normal rank
@@ Property / cites work @@
+On the construction of stable models of untyped \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Models of the lambda calculus
@@ Property / cites work: Models of the lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+On the Jacopini technique
@@ Property / cites work: On the Jacopini technique / rank @@
+Normal rank
@@ Property / cites work @@
+Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms
+Normal rank
@@ Property / cites work @@
+What is a model of the lambda calculus?
@@ Property / cites work: What is a model of the lambda calculus? / rank @@
+Normal rank
@@ Property / cites work @@
+Set-theoretical and other elementary models of the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Topological incompleteness and order incompleteness of the lambda calculus
+Normal rank
@@ Property / cites work @@
+Q4083399
@@ Property / cites work: Q4083399 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3959414
@@ Property / cites work: Q3959414 / rank @@
+Normal rank