Switch to: Citations

Add references

You must login to add references.
  1. Domain interpretations of martin-löf’s partial type theory.Erik Palmgren & Viggo Stoltenberg-Hansen - 1990 - Annals of Pure and Applied Logic 48 (2):135-196.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Countable functionals.S. C. Kleene - 1959 - Journal of Symbolic Logic 27 (3):81--100.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Countable Functionals.S. C. Kleene - 1962 - Journal of Symbolic Logic 27 (3):359-360.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Interpreting higher computations as types with totality.L. Kristiansen & D. Normann - 1994 - Archive for Mathematical Logic 33 (4):243-259.
    Download  
     
    Export citation  
     
    Bookmark   4 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