Switch to: Citations

Add references

You must login to add references.
  1. Metamathematical investigation of intuitionistic arithmetic and analysis.Anne S. Troelstra - 1973 - New York,: Springer.
    Download  
     
    Export citation  
     
    Bookmark   85 citations  
  • Colimit completions and the effective topos.Edmund Robinson & Giuseppe Rosolini - 1990 - Journal of Symbolic Logic 55 (2):678-699.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • A small complete category.J. M. E. Hyland - 1988 - Annals of Pure and Applied Logic 40 (2):135-165.
    Download  
     
    Export citation  
     
    Bookmark   10 citations