Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness (Q730088): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Explicit substitutions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Topological representation of the λ-calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Pairing Without Conventional Restraints / rank
 
Normal rank
Property / cites work
 
Property / cites work: Towards nominal computation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3934450 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4530231 / rank
 
Normal rank
Property / cites work
 
Property / cites work: PNL to HOL: from the logic of nominal sets to the logic of higher-order functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4163527 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Nominal rewriting / rank
 
Normal rank
Property / cites work
 
Property / cites work: Natural deduction and arbitrary objects / rank
 
Normal rank
Property / cites work
 
Property / cites work: A proof-theoretic treatment of <i>λ</i>-reduction with cut-elimination: <i>λ</i>-calculus as a logic programming language / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Simple Class of Kripke-Style Models in Which Logic and Computation Have Equal Standing / rank
 
Normal rank
Property / cites work
 
Property / cites work: A general mathematics of names / rank
 
Normal rank
Property / cites work
 
Property / cites work: Nominal Algebra and the HSP Theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free / rank
 
Normal rank
Property / cites work
 
Property / cites work: Meta-variables as infinite lists in nominal terms unification and rewriting / rank
 
Normal rank
Property / cites work
 
Property / cites work: Semantics Out of Context / rank
 
Normal rank
Property / cites work
 
Property / cites work: Freshness and Name-Restriction in Sets of Traces with Names / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3022776 / rank
 
Normal rank
Property / cites work
 
Property / cites work: One-and-a-halfth-order Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Capture-Avoiding Substitution as a Nominal Algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Formal Calculus for Informal Equality with Binding / rank
 
Normal rank
Property / cites work
 
Property / cites work: Capture-avoiding substitution as a nominal algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3086783 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Nominal (Universal) Algebra: Equational Logic with Names and Binding / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Nominal Axiomatization of the Lambda Calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: A new approach to abstract syntax with variable binding / rank
 
Normal rank
Property / cites work
 
Property / cites work: Stone Duality for Nominal Boolean Algebras with И / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3024906 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3994895 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3282928 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5616133 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4003410 / rank
 
Normal rank
Property / cites work
 
Property / cites work: An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: The virtues of eta-expansion / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3711309 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4783274 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Innocent game models of untyped \(\lambda\)-calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: On universal algebra over nominal sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3727946 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4693151 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sheaves in geometry and logic: a first introduction to topos theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Applying Universal Algebra to Lambda Calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the representation theory for cylindric algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lambda abstraction algebras: representation theorems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Nominal Sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the algebraic models of lambda calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Topological incompleteness and order incompleteness of the lambda calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4510741 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The lambda calculus is algebraic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Nominal unification / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4342068 / rank
 
Normal rank

Revision as of 04:46, 13 July 2024

scientific article
Language Label Description Also known as
English
Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness
scientific article

    Statements

    Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness (English)
    0 references
    0 references
    0 references
    23 December 2016
    0 references
    nominal algebra
    0 references
    lambda-reduction
    0 references
    spectral spaces
    0 references
    fresh-finite limits
    0 references
    lattices and order
    0 references
    Fraenkel-Mostowski set theory
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references