Computational Effects in Topological Domain Theory | Zendy

Ingo Battenfeld | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Computational Effects in Topological Domain Theory

Author(s) -

Ingo Battenfeld

Publication year - 2006

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2006.04.005

Subject(s) - subcategory , denotational semantics , mathematics , domain theory , countable set , quotient , expressive power , category theory , range (aeronautics) , pure mathematics , algebra over a field , topology (electrical circuits) , discrete mathematics , semantics (computer science) , computer science , theoretical computer science , combinatorics , operational semantics , programming language , materials science , composite material

This paper contributes towards establishing the category QCB, of topological quotients of countably based spaces, and its subcategory TP, of topological predomains, as a flexible framework for denotational semantics of programming languages. In particular, we show that both categories have free algebras for arbitrary countable parametrised equational theories, and are thus, following ideas of Plotkin and Power, able to model a wide range of computational effects. Furthermore, we give an explicit construction of the free algebras

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research