Constructive domain theory as a branch of intuitionistic pointfree topology
From MaRDI portal
Publication:1350507
DOI10.1016/0304-3975(95)00169-7zbMath0871.68063OpenAlexW1970510519MaRDI QIDQ1350507
Paolo Virgili, Giovanni Sambin, Silvio Valentini
Publication date: 27 February 1997
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(95)00169-7
Related Items (14)
Modalities in linear logic weaker than the exponential ``of course: Algebraic and relational semantics ⋮ Atomicity, coherence of information, and point-free structures ⋮ Unnamed Item ⋮ A type theoretic interpretation of constructive domain theory ⋮ Maximal elements with minimal logic ⋮ Apartness, sharp elements, and the Scott topology of domains ⋮ Inductively generated formal topologies. ⋮ Some points in formal topology. ⋮ Convergence in formal topology: a unifying notion ⋮ A constructive proof of the Heine-Borel covering theorem for formal reals ⋮ Tychonoff's theorem in the framework of formal topologies ⋮ Maximal and partial points in formal spaces ⋮ Formal Zariski topology: Positivity and points ⋮ A cartesian closed category in Martin-Löf's intuitionistic type theory
Cites Work
This page was built for publication: Constructive domain theory as a branch of intuitionistic pointfree topology
