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).