57 search results - page 1 / 12 » Sequential Continuity of Functions in Constructive Analysis |
MLQ
2000
13 years 4 months ago
2000
It is shown, constructively, that the mapping T AT is sequentially continuous with respect to the weak
CIE
2006
Springer
13 years 8 months ago
2006
Springer
We prove constructively (in the style of Bishop) that every monotone continuous function with a uniform modulus of increase has a continuous inverse. The proof is formalized, and a...
CCA
2009
Springer
13 years 11 months ago
2009
Springer
We extract a quantitative variant of uniqueness from the usual hypotheses of the implicit functions theorem. This leads not only to an a priori proof of continuity, but also to an ...
COORDINATION
2009
Springer
14 years 5 months ago
2009
Springer
A future is a well-known programming construct used to introduce concurrency to sequential programs. Computations annotated as futures are executed asynchronously and run concurren...
FPCA
1991
13 years 8 months ago
1991
We tackle the problem of detecting global variables in functional programs. We present syntactic criteria for single-threading which improves upon previous solutions (both syntact...