Advances in linear logic - Girard, Jean-Yves; Lafont, Yves; Regnier, Laurent (London Mathematical Society lecture note series ;, 1995)