Categorical semantics of linear logic (2009)

by P-A Melliès
Venue:In: Interactive Models of Computation and Program Behaviour, Panoramas et Synthèses 27, Société Mathématique de France 1–196