Switch to: Citations

Add references

You must login to add references.
  1. Linear logic: its syntax and semantics.Jean-Yves Girard - 1995 - In Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.), Advances in linear logic. New York, NY, USA: Cambridge University Press. pp. 222--1.
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • The structure of multiplicatives.Vincent Danos & Laurent Regnier - 1989 - Archive for Mathematical Logic 28 (3):181-203.
    Investigating Girard's new propositionnal calculus which aims at a large scale study of computation, we stumble quickly on that question: What is a multiplicative connective? We give here a detailed answer together with our motivations and expectations.
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • Linear Logic.Jean-Yves Girard - 1987 - Theoretical Computer Science 50:1–102.
    Download  
     
    Export citation  
     
    Bookmark   127 citations