Searching for "Equilogical spaces and domains with totality." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Continuous Functionals of Dependent Types and Equilogical Spaces
by Andrej Bauer, Lars Birkedal — 2000
…], where we related domains with totality to equilogical spaces, introduced by Dana Scott [2]: the so…
Cited by 12 (8 self) – Add To MetaCart

Equilogical Spaces
by Andrej Bauer, Lars Birkedal, Dana S. Scott — 1998
…,8]. Also, the relation between equilogical spaces and domains with totality described in Section 5 has been…
Cited by 24 (9 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB