ID:DA0325502X
Lafont, Y
Search authors sharing the same name
edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier
Cambridge University Press 1995 London Mathematical Society lecture note series 222
: pbk
Available at 82 libraries
Jean-Yves Girard ; translated and with appendices by Paul Taylor, Yves Lafont
Cambridge University Press 1989 Cambridge tracts in theoretical computer science 7
Available at 48 libraries
