Lectures on Linear Logic, volume 29 (1992)

by Anne Sjerp Troelstra
Venue:of CSLI Lecture Notes. CSLI