Sciweavers

ESOP
2010
Springer

A PolyTime Functional Language from Light Linear Logic

14 years 8 months ago
A PolyTime Functional Language from Light Linear Logic
Patrick Baillot, Marco Gaboardi and Virgile Mogbil
Added 02 Mar 2010
Updated 02 Mar 2010
Type Conference
Year 2010
Where ESOP
Authors Patrick Baillot, Marco Gaboardi and Virgile Mogbil
Comments (0)