Advances in linear logic / ed. Jean-Yves Girard, Yves Lafont, Laurent Regnier

Advances in linear logic / ed. Jean-Yves Girard, Yves Lafont, Laurent Regnier . - Cambridge : Cambridge University Press, 1995 . - 389 p. 23 cm . - (London mathematical society lecture note series; 222))
0-521-55961-8 (Brochado)

510.6