Linear logic model of state revisited

Valeria de Paiva. Linear logic model of state revisited. Logic Journal of the IGPL, 22(5):791-804, 2014. [doi]

Abstract

Abstract is missing.