Hodas, Joshua S. Logic Programming in Intuitionistic Linear Logic: Theory, Design, and Implementation, University of Pennsylvania Technical Reports MS-CIS-92-28 or LINC LAB 269
(1994)
Languages mentioned
lolli
{1992}