Sciweavers

50
Voted
ENTCS
2006
110views more  ENTCS 2006»
14 years 9 months ago
The Linear Logical Abstract Machine
ar Logical Abstract Machine Eduardo Bonelli 1 LIFIA, Fac. de Inform
Eduardo Bonelli