From computation to foundations via functions and application: The $\lambda$-calculus and its webbed models (Q1583485): Difference between revisions

@@ Property / cites work @@
+Domain theory in logical form
@@ Property / cites work: Domain theory in logical form / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction in the lazy lambda calculus
@@ Property / cites work: Full abstraction in the lazy lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4954440
@@ Property / cites work: Q4954440 / rank @@
+Normal rank
@@ Property / cites work @@
+Can programming be liberated from the von Neumann style?
+Normal rank
@@ Property / cites work @@
+Q3206926
@@ Property / cites work: Q3206926 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete restrictions of the intersection type discipline
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+The Impact of the Lambda Calculus in Logic and Computer Science
+Normal rank
@@ Property / cites work @@
+A filter lambda model and the completeness of type assignment
+Normal rank
@@ Property / cites work @@
+Strong stability and the incompleteness of stable models for \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Q4886631
@@ Property / cites work: Q4886631 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896520
@@ Property / cites work: Q4896520 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite \(\lambda\)-calculus and types
@@ Property / cites work: Infinite \(\lambda\)-calculus and types / 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 @@
+Q4513574
@@ Property / cites work: Q4513574 / rank @@
+Normal rank
@@ Property / cites work @@
+A \(\kappa\)-denotational semantics for map theory in ZFC+SI
+Normal rank
@@ Property / cites work @@
+Q4160405
@@ Property / cites work: Q4160405 / rank @@
+Normal rank
@@ Property / cites work @@
+Lambda-calculi for (strict) parallel functions
@@ Property / cites work: Lambda-calculi for (strict) parallel functions / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of sequentiality
@@ Property / cites work: A theory of sequentiality / rank @@
+Normal rank
@@ Property / cites work @@
+A set of postulates for the foundation of logic. II
+Normal rank
@@ Property / cites work @@
+Q3036694
@@ Property / cites work: Q3036694 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221961
@@ Property / cites work: Q3221961 / rank @@
+Normal rank
@@ Property / cites work @@
+Type theories, normal forms, and \(D_{\infty}\)-lambda-models
+Normal rank
@@ Property / cites work @@
+Functionality in Combinatory Logic
@@ Property / cites work: Functionality in Combinatory Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263864
@@ Property / cites work: Q4263864 / rank @@
+Normal rank
@@ Property / cites work @@
+A syntactical proof of the operational equivalence of two \(\lambda\)-terms
+Normal rank
@@ Property / cites work @@
+A decidable canonical representation of the compact elements in Scott's reflexive domain in \(P\omega\)
+Normal rank
@@ Property / cites work @@
+A characterization of F-complete type assignments
@@ Property / cites work: A characterization of F-complete type assignments / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281469
@@ Property / cites work: Q4281469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847018
@@ Property / cites work: Q4847018 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4018065
@@ Property / cites work: Q4018065 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842969
@@ Property / cites work: Q4842969 / rank @@
+Normal rank
@@ Property / cites work @@
+Toward useful type-free theories. I
@@ Property / cites work: Toward useful type-free theories. I / rank @@
+Normal rank
@@ Property / cites work @@
+A type-free system extending (ZFC)
@@ Property / cites work: A type-free system extending (ZFC) / rank @@
+Normal rank
@@ Property / cites work @@
+The Expressiveness of Simple and Second-Order Type Structures
+Normal rank
@@ Property / cites work @@
+Q5625124
@@ Property / cites work: Q5625124 / rank @@
+Normal rank
@@ Property / cites work @@
+The system \({\mathcal F}\) of variable types, fifteen years later
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4879947
@@ Property / cites work: Q4879947 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal retractions on \(DI\)-domains
@@ Property / cites work: Universal retractions on \(DI\)-domains / rank @@
+Normal rank
@@ Property / cites work @@
+Map theory
@@ Property / cites work: Map theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573940
@@ Property / cites work: Q5573940 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4260372
@@ Property / cites work: Q4260372 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024839
@@ Property / cites work: Q3024839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3816053
@@ Property / cites work: Q3816053 / 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 @@
+Q4722037
@@ Property / cites work: Q4722037 / rank @@
+Normal rank
@@ Property / cites work @@
+A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
+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 @@
+Consistency of a \(\lambda\)-theory with \(n\)-tuples and easy term
+Normal rank
@@ Property / cites work @@
+Q4297417
@@ Property / cites work: Q4297417 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4297437
@@ Property / cites work: Q4297437 / 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 @@
+Forcing in stable models of untyped \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+On the construction of stable models of untyped \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Q3214888
@@ Property / cites work: Q3214888 / rank @@
+Normal rank
@@ Property / cites work @@
+Origins of Recursive Function Theory
@@ Property / cites work: Origins of Recursive Function Theory / rank @@
+Normal rank
@@ Property / cites work @@
+The inconsistency of certain formal logics
@@ Property / cites work: The inconsistency of certain formal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997016
@@ Property / cites work: Q3997016 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4274979
@@ Property / cites work: Q4274979 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4297779
@@ Property / cites work: Q4297779 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical logic, storage operators and second-order lambda-calculus
+Normal rank
@@ Property / cites work @@
+About classical logic and imperative programming
@@ Property / cites work: About classical logic and imperative programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3477935
@@ Property / cites work: Q3477935 / rank @@
+Normal rank
@@ Property / cites work @@
+Set theory. An introduction to independence proofs
+Normal rank
@@ Property / cites work @@
+The Mechanical Evaluation of Expressions
@@ Property / cites work: The Mechanical Evaluation of Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3326830
@@ Property / cites work: Q3326830 / rank @@
+Normal rank
@@ Property / cites work @@
+Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms
+Normal rank
@@ Property / cites work @@
+Petri nets, event structures and domains. I
@@ Property / cites work: Petri nets, event structures and domains. I / rank @@
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. The theory of functions and sets of natural numbers
+Normal rank
@@ Property / cites work @@
+Q3997125
@@ Property / cites work: Q3997125 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4268477
@@ Property / cites work: Q4268477 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4260369
@@ Property / cites work: Q4260369 / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and 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 @@
+Q4749207
@@ Property / cites work: Q4749207 / 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 @@
+Q4068054
@@ Property / cites work: Q4068054 / rank @@
+Normal rank
@@ Property / cites work @@
+Isomorphisms and nonisomorphisms of graph models
@@ Property / cites work: Isomorphisms and nonisomorphisms of graph models / rank @@
+Normal rank
@@ Property / cites work @@
+Q5649639
@@ Property / cites work: Q5649639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4109652
@@ Property / cites work: Q4109652 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4109651
@@ Property / cites work: Q4109651 / rank @@
+Normal rank
@@ Property / cites work @@
+Data Types as Lattices
@@ Property / cites work: Data Types as Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q3661543
@@ Property / cites work: Q3661543 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3960746
@@ Property / cites work: Q3960746 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3959414
@@ Property / cites work: Q3959414 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3969890
@@ Property / cites work: Q3969890 / 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
@@ Property / cites work @@
+Approximate Reduction and Lambda Calculus Models
@@ Property / cites work: Approximate Reduction and Lambda Calculus Models / rank @@
+Normal rank

From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models (Q1583485): Difference between revisions

Latest revision as of 16:55, 30 May 2024

Statements

Sitelinks

Mathematics(1 entry)