Displayed Monoidal Categories for the Semantics of Linear Logic.

Benedikt Ahrens, Ralph Matthes, Niels van der Weide, Kobe Wullaert

Browse the full CPP paper archive.