Sciweavers

ENTCS
2006

The Linear Logical Abstract Machine

13 years 11 months ago
The Linear Logical Abstract Machine
ar Logical Abstract Machine Eduardo Bonelli 1 LIFIA, Fac. de Inform
Eduardo Bonelli
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2006
Where ENTCS
Authors Eduardo Bonelli
Comments (0)