The structure of multiplicatives

The structure of multiplicatives,10.1007/BF01622878,Archive for Mathematical Logic,Vincent Danos,Laurent Regnier

The structure of multiplicatives   (Citations: 171)
BibTex | RIS | RefWorks Download
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.
Journal: Archive for Mathematical Logic - Arch. Math. Log. , vol. 28, no. 3, pp. 181-203, 1989
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
Sort by: