VSE knjižnice (vzajemna bibliografsko-kataložna baza podatkov COBIB.SI)
-
A ralationship between equilogical spaces and Type Two EffectivityBauer, AndrejIn this paper we compare two well studied approaches to topological semantics - the domain-theoretic approach, exemplified by the category of countably based equilogical spaces, ▫$\mathbf{Equ}$▫ and ... Type Two Effectivity, exemplified by the category of Baire space representations ▫$\mathbf{Rep}(\mathbb{B}$▫. These two categories are both locally cartesian closed extensions of countably based ▫$T_0$▫-spaces. A natural question to ask is how they are related. First, we show that ▫$\mathbf{Rep}(\mathbb{B}$▫ is equivalent to a full coreflective subcategory of ▫$\mathbf{Equ}$▫, consisting of the so-called 0-equilogical spaces. This establishes a pair of adjoint functors between ▫$\mathbf{Rep}(\mathbb{B}$▫ and ▫$\mathbf{Equ}$▫. The inclusion ▫$\mathbf{Rep}(\mathbb{B} \to \mathbf{Equ}$▫ and its coreflection have many desirable properties, but they do not preserve exponentials in general. This means that the cartesian closed structures of ▫$\mathbf{Rep}(\mathbb{B}$▫ and ▫$\mathbf{Equ}$▫ are essentially different. However, in a second comparison we show that ▫$\mathbf{Rep}(\mathbb{B}$▫ and ▫$\mathbf{Equ}$▫ do share a common cartesian closed subcategory that contains all countably based ▫$T_0$▫-spaces. Therefore, the domain-theoretic approach and TTE yield equivalent topological semantics of computation for all higher-order types over countably based ▫$T_0$▫-spaces. We consider several examples involving the natural numbers and the real numbers to demonstrate how these comparisons make it possible to transfer results from one setting to another.Vir: Mathematical logic quarterly. - ISSN 0942-5616 (Vol. 48, suppl. 1, 2002, str. 1-15)Vrsta gradiva - članek, sestavni delLeto - 2002Jezik - angleškiCOBISS.SI-ID - 12033369
![loading ... loading ...](themes/default/img/ajax-loading.gif)
Vnos na polico
Trajna povezava
- URL:
Faktor vpliva
Dostop do baze podatkov JCR je dovoljen samo uporabnikom iz Slovenije. Vaš trenutni IP-naslov ni na seznamu dovoljenih za dostop, zato je potrebna avtentikacija z ustreznim računom AAI.
Leto | Faktor vpliva | Izdaja | Kategorija | Razvrstitev | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Baze podatkov, v katerih je revija indeksirana
Ime baze podatkov | Področje | Leto |
---|
Povezave do osebnih bibliografij avtorjev | Povezave do podatkov o raziskovalcih v sistemu SICRIS |
---|---|
Bauer, Andrej | 15854 |
Vir: Osebne bibliografije
in: SICRIS
Izberite prevzemno mesto:
Prevzem gradiva po pošti
Naslov za dostavo:
Med podatki člana manjka naslov.
Storitev za pridobivanje naslova trenutno ni dostopna, prosimo, poskusite še enkrat.
S klikom na gumb "V redu" boste potrdili zgoraj izbrano prevzemno mesto in dokončali postopek rezervacije.
S klikom na gumb "V redu" boste potrdili zgoraj izbrano prevzemno mesto in naslov za dostavo ter dokončali postopek rezervacije.
S klikom na gumb "V redu" boste potrdili zgoraj izbrani naslov za dostavo in dokončali postopek rezervacije.
Obvestilo
Trenutno je storitev za avtomatsko prijavo in rezervacijo nedostopna. Gradivo lahko rezervirate sami na portalu Biblos ali ponovno poskusite tukaj kasneje.
Gesla v Splošnem geslovniku COBISS
Izbira mesta prevzema
Gradivo iz matične enote je brezplačno. Če je gradivo na mesto prevzema dostavljeno iz drugih enot, lahko knjižnica to storitev zaračuna.
Mesto prevzema | Status gradiva | Rezervacija |
---|
Rezervacija v teku
Prosimo, počakajte trenutek.
Rezervacija je uspela.
Rezervacija ni uspela.
Rezervacija...
Članska izkaznica:
Mesto prevzema: