You may perhaps find what you require at A lambda calculus for real analysis Compactness and uniformity for the reals in ASD or my home page.
Alternatively, you can search this site using Google: