Sciweavers

CSL
2009
Springer

Functional Interpretations of Intuitionistic Linear Logic

14 years 6 months ago
Functional Interpretations of Intuitionistic Linear Logic
Gilda Ferreira, Paulo Oliva
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where CSL
Authors Gilda Ferreira, Paulo Oliva
Comments (0)