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