Representation and duality of the untyped λ-calculus in nominal lattice and topological semantics, with a proof of topological completeness
| Autor: | Michael Gabbay, Murdoch J. Gabbay |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2016 |
| Předmět: |
Logic
Semantics (computer science) Duality (mathematics) 0102 computer and information sciences Topology Lattice (discrete subgroup) 01 natural sciences Fraenkel–Mostowski set theory Lattices and order Completeness (order theory) Variables Lambda-calculus 0101 mathematics Representation (mathematics) computer.programming_language Mathematics Interpretation (logic) 010102 general mathematics Nominal algebras Nominal techniques Mathematical foundations 010201 computation theory & mathematics Fresh-finite limits Valuation (measure theory) Lambda calculus computer Spectral spaces |
| Zdroj: | Gabbay, M J & Gabbay, M J 2016, ' Representation and duality of the untyped λ-calculus in nominal lattice and topological semantics, with a proof of topological completeness ', ANNALS OF PURE AND APPLIED LOGIC . https://doi.org/10.1016/j.apal.2016.10.001 |
| DOI: | 10.1016/j.apal.2016.10.001 |
| Popis: | We give a semantics for the λ-calculus based on a topological duality theorem in nominal sets. A novel interpretation of λ is given in terms of adjoints, and λ-terms are interpreted absolutely as sets (no valuation is necessary). |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|