The structure of multiplicatives
暂无分享,去创建一个
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.
[1] Jean-Yves Girard,et al. Linear Logic , 1987, Theor. Comput. Sci..