Switch to: Citations

Add references

You must login to add references.
  1. Multiplicatives.Jean-Yves Girard - 1987 - In G. Lolli (ed.), Logic and Computer Science: New Trends and Applications. Rosenberg & Sellier. pp. 11--34.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Between logic and quantic: a tract.Jean-Yves Girard - 2004 - In Thomas Ehrhard (ed.), Linear logic in computer science. New York: Cambridge University Press. pp. 316--346.
    Download  
     
    Export citation  
     
    Bookmark   2 citations