Effective λ-models versus recursively enumerable λ-theories (Q3643360): Difference between revisions

@@ Property / author @@
-Q752683
@@ Property / author: Q752683 / rank @@
-Normal rank
@@ Property / author @@
-Antonino Salibra
@@ Property / author: Antonino Salibra / rank @@
-Normal rank
@@ Property / author @@
+Chantal Berline
@@ Property / author: Chantal Berline / rank @@
+Normal rank
@@ Property / author @@
+Antonino Salibra
@@ Property / author: Antonino Salibra / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+PCF extended with real numbers
@@ Property / cites work: PCF extended with real numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Type theories, normal forms, and \(D_{\infty}\)-lambda-models
+Normal rank
@@ Property / cites work @@
+An extension of basic functionality theory for \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Graph lambda theories
@@ Property / cites work: Graph lambda theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023580
@@ Property / cites work: Q4023580 / rank @@
+Normal rank
@@ Property / cites work @@
+Order-incompleteness and finite lambda reduction models
+Normal rank
@@ Property / cites work @@
+Topological incompleteness and order incompleteness of the lambda calculus
+Normal rank
@@ Property / cites work @@
+Set-theoretical and other elementary models of the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. The theory of functions and sets of natural numbers
+Normal rank
@@ Property / cites work @@
+The Lattice of Lambda Theories
@@ Property / cites work: The Lattice of Lambda Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Easiness in graph models
@@ Property / cites work: Easiness in graph models / rank @@
+Normal rank
@@ Property / cites work @@
+Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms
+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 @@
+Graph models of $\lambda$-calculus at work, and variations
+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 @@
+On the construction of stable models of untyped \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+βη-complete models for System <i>F</i>
@@ Property / cites work: βη-complete models for System <i>F</i> / rank @@
+Normal rank
@@ Property / cites work @@
+Isomorphism and equational equivalence of continuous \(\lambda\)-models
+Normal rank
@@ Property / cites work @@
+The interpretation of unsolvable <i>λ</i>-terms in models of untyped <i>λ</i>-calculus
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus
+Normal rank
@@ Property / cites work @@
+Computability on dl-domains
@@ Property / cites work: Computability on dl-domains / rank @@
+Normal rank
@@ Property / cites work @@
+Effectively given domains and lambda-calculus models
+Normal rank