Relational semantics for full linear logic

Dion Coumans, Mai Gehrke, Lorijn van Rooijen. Relational semantics for full linear logic. J. Applied Logic, 12(1):50-66, 2014. [doi]

Abstract

Abstract is missing.