Relating categorical semantics for intuitionistic linear logic (0)

by M E Maietti, P Maneggia, V de Paiva, E Ritter
Venue:Appl. Categ. Structures