Person. Ralph Matthes CNRS Délégation Midi-Pyrénées · 0000-0002-7299-2411 Papers Displayed Monoidal Categories for the Semantics of Linear Logic ahrens-2024-displayedCPP · 2024 PDF · DOI · pldb