Andre Scedrov A brief guide to linear logic. 154-165 1990 41 Bulletin of the EATCS db/journals/eatcs/eatcs41.html#Scedrov90