Sciweavers

64
Voted
LICS
2007
IEEE

Modified Realizability Interpretation of Classical Linear Logic

15 years 3 months ago
Modified Realizability Interpretation of Classical Linear Logic
Paulo Oliva
Added 04 Jun 2010
Updated 04 Jun 2010
Type Conference
Year 2007
Where LICS
Authors Paulo Oliva
Comments (0)