SATOSHI MATSUOKA "Additive Interaction Nets : Yet Another Linear Logic Programming Language"
(1996)
(1996)
IPSJ Transactions on Programming Vol.40 No.SIG04 - 013
Languages mentioned
Yet Another Linear Logic Programming Language
{1996}