Switch to: Citations

Add references

You must login to add references.
  1. Resource modalities in tensor logic.Paul-André Melliès & Nicolas Tabareau - 2010 - Annals of Pure and Applied Logic 161 (5):632-653.
    The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of the misleading conception that linear logic is more primitive than game semantics. Here, we defend the opposite view, and thus advocate that game semantics is conceptually more primitive than linear logic. This revised point of view leads us to introduce tensor logic, a primitive variant of linear logic where negation is not involutive. After formulating its categorical semantics, we interpret tensor logic (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Topos Theory.P. T. Johnstone - 1982 - Journal of Symbolic Logic 47 (2):448-450.
    Download  
     
    Export citation  
     
    Bookmark   52 citations  
  • Topoi: The Catergorical Analysis of Logic.Philip J. Scott - 2006 - Dover Publications.
    Download  
     
    Export citation  
     
    Bookmark   20 citations