Switch to: Citations

Add references

You must login to add references.
  1. Recursive models for constructive set theories.M. Beeson - 1982 - Annals of Mathematical Logic 23 (2-3):127-178.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Intuitionistic Type Theory.Per Martin-Löf - 1980 - Bibliopolis.
    Download  
     
    Export citation  
     
    Bookmark   119 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  
  • 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