Continuous Functionals of Dependent Types and Equilogical Spaces

Authors:
Andrej Bauer;Lars Birkedal
Affiliations:
-;-
Venue:
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Year:
2000

Citing 6
Cited 0

Mathematical theory of domains

Mathematical theory of domains
A hierarchy of domains with totality, but without density

Computability, enumerability, unsolvability
Domains and lambda-calculi

Domains and lambda-calculi
Developing theories of types and computability via realizability

Developing theories of types and computability via realizability
Topological and limit-space subcategories of countably-based equilogical spaces

Mathematical Structures in Computer Science
Full abstraction, totality and PCF

Mathematical Structures in Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

We show that dependent sums and dependent products of continuous parametrizations on domains with dense, codense, and natural totalities agree with dependent sums and dependent products in equilogical spaces, and thus also in the realizability topos RT(Pω).