Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

CSL
2000
Springer

favoriteEmaildiscussreport

103views Automated Reasoning» more CSL 2000»

Continuous Functionals of Dependent Types and Equilogical Spaces

13 years 9 months ago

Continuous Functionals of Dependent Types and Equilogical Spaces

Download math.andrej.com

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ω).

Andrej Bauer, Lars Birkedal

Real-time Traffic

Automated Reasoning | CSL 2000 | Dependent Products | Dependent Sums | Realizability Topos |

claim paper

Related Content

» Continuous Functions on Final Coalgebras

» Positively dependent types

» MiniAgda Integrating Sized and Dependent Types

» A copula method for modeling directional dependence of genes

» Classical truth in higher types

» A Dependently Typed Framework for Static Analysis of Program Execution Costs

» Heuristic Refinements of Approximate Linear Programming for Factored ContinuousState Marko...

» Semicontinuous Sized Types and Termination

» Strongly typed memory areas programming systemslevel data structures in a functional langu...

Post Info
More Details (n/a)

Added	02 Aug 2010
Updated	02 Aug 2010
Type	Conference
Year	2000
Where	CSL
Authors	Andrej Bauer, Lars Birkedal

Comments (0)