Linear logic in computer science - Ehrhard, Thomas; Ehrhard, Thomas, 1958- (London Mathematical Society lecture note series ; ;, 2004)