Lectures on linear logic - Troelstra, A. S., 1939- (CSLI - Center for the study of language and information, 1992)