Home Advanced Search

Advanced Search - Page 1

Advances in linear logic
  • DJVU
  • English
  • Year: 1995
  • Author: Jean-Yves Girard, Yves Lafont, Laurent Regnier
Advances in linear logic
  • PDF
  • English
  • Year: 1995
  • Author: Jean-Yves Girard, Yves Lafont, Laurent Regnier
Proofs and Types
  • DJVU
  • English
  • Year: 1989
  • Author: Jean-Yves Girard, Yves Lafont, Paul Taylor
Proofs and Types
  • PDF
  • English
  • Year: 2003
  • Author: Jean-Yves Girard, Yves Lafont, Paul Taylor
The Blind Spot: Lectures on Logic
  • PDF
  • English
  • Year: 2011
  • Author: Jean-Yves Girard
The Blind Spot: Lectures on Logic
  • PDF
  • English
  • Year: 2011
  • Author: Jean-Yves Girard
Théorie de la Deuxième Microlocalisation dans le Domaine Complexe
  • DJVU
  • French
  • Year: 1985
  • Author: Yves Laurent
Church-Rosser property and Homology of Monoids (revised version)
  • PDF
  • English
  • Year: 2011
  • Author: Yves Lafont, Alain Prouté
Cinq conférences sur l'indécidabilité
  • DJVU
  • French
  • Year: 1983
  • Author: Nicolas Bouleau, Jean-Yves Girard, Alain Louveau
Typed Lambda Calculi and Applications: 4th International Conference, TLCA’99 L’Aquila, Italy, April 7–9, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Jean-Marc Andreoli (auth.), Jean-Yves Girard (eds.)
search