Phase semantics and decidability of elementary affine logic

Ugo Dal Lago, Simone Martini. Phase semantics and decidability of elementary affine logic. Theoretical Computer Science, 318(3):409-433, 2004. [doi]

Abstract

Abstract is missing.