LDP
Membres
Annuaire
Plan
du couloir
Anciens
membres
Recherche
Thématique
Séminaire
Colloques
Édition
Collaborations
ACI
GEOCAL
AS
TOPALG
Réseau
LINEAR
Visiteurs
de l'équipe
Master
Recherche
MDFI
Pro
MINT
English version
LOGIQUE DE LA PROGRAMMATION
Ouvrages rédigés ou édités par des membres de l'équipe
Proof theory and logical complexity, volume I
, Jean-Yves Girard, Bibliopolis (1987).
Proofs and types
, Jean-Yves Girard, Yves Lafont, Robert Taylor, Cambridge U.P. (1993).
Advances in linear logic
, édité par Jean-Yves Girard, Yves Lafont, Laurent Regnier, Cambridge U.P., LMSLNS 222 (1995).
Linear logic in computer science
, édité par Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Phil Scott, Cambridge U.P., LMSLNS 316 (2004).
Le point aveugle, cours de logique
, Jean-Yves Girard, Hermann, collection Visions des Sciences (2007).