Publications by year

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