Technical Notes (X) Series

X-1991-07:
A.S. Troelstra Lectures on Linear Logic, Errata and Supplement