Switch to: Citations

Add references

You must login to add references.
  1. 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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   36 citations