Lectures on Linear Logic. Centre for the Study of Language and Information (1992)

by A S Troelstra
Venue:CSLI Lecture Notes No