Switch to: Citations

References in:

Coherence in substructural categories

Studia Logica 70 (2):271 - 296 (2002)

Add references

You must login to add references.
  1. Introduction to Higher Order Categorical Logic.J. Lambek & P. J. Scott - 1989 - Journal of Symbolic Logic 54 (3):1113-1114.
    Download  
     
    Export citation  
     
    Bookmark   131 citations  
  • Substructural Logics.Peter Schroeder-Heister - 1996 - Erkenntnis 45 (1):115-118.
    Download  
     
    Export citation  
     
    Bookmark   19 citations