Introduction to Linear Logic
()
Languages mentioned
Lygon
{1995} Linear Logic Programming Language