Categorical proof theory of co-intuitionistic linear logic”, accepted by (2014)

by G Bellin
Venue:Logical Methods in Computer Science