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

Cached

Download Links

by Categories Cockett , R. A. G. Seely , Transmitted Michael Barr
Venue:and MIX categories, Theory and Applications of Categories 3
Citations:22 - 5 self