Phase semantics for light linear logic

Max I. Kanovich, Mitsuhiro Okada, Andre Scedrov. Phase semantics for light linear logic. Electronic Notes in Theoretical Computer Science, 6:221-234, 1997. [doi]

Abstract

Abstract is missing.