Switch to: Citations

Add references

You must login to add references.
  1. The continuous functionals; computations, recursions and degrees.Dag Normann - 1981 - Annals of Mathematical Logic 21 (1):1.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Interpretation of analysis by means of constructive functionals of finite types.Georg Kreisel - 1959 - In A. Heyting (ed.), Constructivity in mathematics. Amsterdam,: North-Holland Pub. Co.. pp. 101--128.
    Download  
     
    Export citation  
     
    Bookmark   55 citations  
  • Filter spaces and continuous functionals.J. M. E. Hyland - 1979 - Annals of Mathematical Logic 16 (2):101-143.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Total sets and objects in domain theory.Ulrich Berger - 1993 - Annals of Pure and Applied Logic 60 (2):91-117.
    Berger, U., Total sets and objects in domain theory, Annals of Pure and Applied Logic 60 91-117. Total sets and objects generalizing total functions are introduced into the theory of effective domains of Scott and Ersov. Using these notions Kreisel's Density Theorem and the Theorem of Kreisel-Lacombe-Shoenfield are generalized. As an immediate consequence we obtain the well-known continuity of computable functions on the constructive reals as well as a domain-theoretic characterization of the Heriditarily Effective Operations.
    Download  
     
    Export citation  
     
    Bookmark   17 citations