ID:DA01948852
Girard, J.-Y
Search authors sharing the same name
Jean-Yves Girard
European Mathematical Society c2011
Available at 7 libraries
Joselyn Benoist, Jean-Yves Girard, Yoshinori Ogawa, Mitsuhiro Okada (editor)
Keio University, Centre for Integrated Research on the Mind 2006 1st ed Series of Centre for Integrated Research on the Mind
Available at 72 libraries
Jean-Yves Girard (ed.)
Springer-Verlag c1999 Lecture notes in computer science 1581
Available at 51 libraries
edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier
Cambridge University Press 1995 London Mathematical Society lecture note series 222
: pbk
Available at 83 libraries
Ernest Nagel ... [et al.] ; traductions de l'anglais et de l'allemand par Jean-Baptiste Scherrer
Éditions du Seuil c1989
Available at 1 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 49 libraries
Bibliopolis c1987- Studies in proof theory : monographs 1
v. 1 : Italy , v. 1
Available at 50 libraries
Jean Girard
Harmattan c1984 Connaissance des hommes
Nicolas Bouleau, Jean-Yves Girard, Alain Louveau
Presses de l'Ecole nationale des Ponts et chausse'es c1983
