Logic Programming in Intuitionistic Linear Logic: Theory, Design, and Implementation, by Joshua S. Hodas, Ph.D. U of Pennsylvania, May 1994
(1994)
Languages mentioned
lolli
{1992}