## Proof Theory For Full Intuitionistic Linear Logic, Bilinear Logic, And (1996)

by
Categories Cockett
,
R. A. G. Seely
,
Transmitted Michael Barr

Venue: | and MIX categories, Theory and Applications of Categories 3 |

Citations: | 22 - 5 self |