Equilogical spaces and domains with totality
β Scribed by Andrej Bauer
- Publisher
- Elsevier Science
- Year
- 2000
- Tongue
- English
- Weight
- 29 KB
- Volume
- 35
- Category
- Article
- ISSN
- 1571-0661
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
In this paper I compare two well studied approaches to topological semanticsthe domain-theoretic approach, exemplified by the category of countably based equilogical spaces, Equ, and Type Two Effectivity, exemplified by the category of Baire space representations, Rep(B). These two categories are bo
## Abstract The purpose of this paper is to develop a theory of the BesovβMorrey spaces and the TriebelβLizorkinβMorrey spaces on domains in **R**^__n__^. We consider the pointwise multiplier operator, the trace operator, the extension operator and the diffeomorphism operator. Not only to domains i