Switch to: Citations

Add references

You must login to add references.
  1. La logique Des topos.André Boileau & André Joyal - 1981 - Journal of Symbolic Logic 46 (1):6-16.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • Fibered categories and the foundations of naive category theory.Jean Bénabou - 1985 - Journal of Symbolic Logic 50 (1):10-37.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Sheaves and Logic.M. P. Fourman, D. S. Scott & C. J. Mulvey - 1983 - Journal of Symbolic Logic 48 (4):1201-1203.
    Download  
     
    Export citation  
     
    Bookmark   32 citations