scientific article; zbMATH DE number 1770055

zbMath1007.03058MaRDI QIDQ4540524

No author found.

Publication date: 25 July 2002

Full work available at URL: https://eudml.org/doc/122423

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Stone dualitylocalelocally compact spaceKleisli categoryprime filterpredicate transformergeneral recursive functionSierpinski spacecontinuation passing stylestrong monadschizophrenic objecttheory of descriptionspremonoidal categorylocally quasi-compact spaceobservable typeprime lambda termsober lambda calculus

Mathematics Subject Classification ID

Function spaces in general topology (54C35) Topological spaces and generalizations (closure spaces, etc.) (54A05) Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Frames, locales (06D22) Lower separation axioms ((T_0)--(T_3), etc.) (54D10) Stone spaces (Boolean spaces) and related structures (06E15) Categorical semantics of formal languages (18C50) Local compactness, (sigma)-compactness (54D45) Combinatory logic and lambda calculus (03B40) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (8)

Unnamed Item ⋮ T0 convergence-approach spaces ⋮ Equilogical spaces and algebras for a double-power monad ⋮ A universal characterization of the double powerlocale ⋮ Sobriety for equilogical spaces ⋮ Local Compactness and the Baire Category Theorem in Abstract Stone Duality ⋮ Compactness in locales and in formal topology ⋮ Relational Parametricity for Control Considered as a Computational Effect

This page was built for publication: