57 search results - page 1 / 12 » Sequential Continuity of Functions in Constructive Analysis |
MLQ
2000
15 years 1 days ago
2000
It is shown, constructively, that the mapping T AT is sequentially continuous with respect to the weak
94
Voted
CIE
2006
Springer
15 years 4 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
15 years 6 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 ...
104
click to vote
COORDINATION
2009
Springer
16 years 24 days 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
15 years 3 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...