Switch to: Citations

Add references

You must login to add references.
  1. Topos Theory.P. T. Johnstone - 1982 - Journal of Symbolic Logic 47 (2):448-450.
    Download  
     
    Export citation  
     
    Bookmark   52 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