A. S. Troelstra Tutorial on Linear Logic. 30-31 1992 JICSLP db/conf/iclp/iclp92.html#Troelstra92