Home Advanced Search

Advanced Search - Page 1

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.)
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
CONCUR '94: Concurrency Theory: 5th International Conference Uppsala, Sweden, August 22–25, 1994 Proceedings
  • PDF
  • English
  • Year: 1994
  • Author: Jean-Yves Girard (auth.), Bengt Jonsson, Joachim Parrow (eds.)
CONCUR '94: Concurrency Theory: 5th International Conference Uppsala, Sweden, August 22–25, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Jean-Yves Girard (auth.), Bengt Jonsson, Joachim Parrow (eds.)
Extensions of Logic Programming: International Workshop Tübingen, FRG, December 8–10, 1989 Proceedings
  • DJVU
  • English
  • Year: 1991
  • Author: Jean-Marc Andreoli, Remo Pareschi (auth.), Peter Schroeder-Heister (eds.)
Extensions of Logic Programming: International Workshop Tübingen, FRG, December 8–10, 1989 Proceedings
  • DJVU
  • English
  • Year: 1991
  • Author: Jean-Marc Andreoli, Remo Pareschi (auth.), Peter Schroeder-Heister (eds.)
Object-Based Models and Languages for Concurrent Systems: ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution Bologna, Italy, July 5, 1994 Proceedings
  • PDF
  • English
  • Year: 1995
  • Author: Jean-Marc Andreoli, Hervé Gallaire (auth.), Paolo Ciancarini, Oscar Nierstrasz, Akinori Yonezawa (eds.)
Object-Based Models and Languages for Concurrent Systems: ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution Bologna, Italy, July 5, 1994 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: Jean-Marc Andreoli, Hervé Gallaire (auth.), Paolo Ciancarini, Oscar Nierstrasz, Akinori Yonezawa (eds.)
Proofs and Types
  • DJVU
  • English
  • Year: 1989
  • Author: Jean-Yves Girard, Yves Lafont, Paul Taylor
search