Home Advanced Search

Advanced Search - Page 1

Introduction à la logique : Théorie de la démonstration - Cours et exercices corrigés
  • DJVU
  • French
  • Year: 2004
  • Author: Karim Nour, René David, Christophe Raffalli, Pierre-Louis Curien
Categorical Combinators, Sequential Algorithms, and Functional Programming
  • PDF
  • English
  • Year: 1993
  • Author: Pierre-Louis Curien
Categorical Combinators, Sequential Algorithms, and Functional Programming
  • DJVU
  • English
  • Year: 1993
  • Author: Pierre-Louis Curien
Domains and Lambda-Calculi
  • PDF
  • English
  • Year: 1998
  • Author: Roberto M. Amadio, Pierre-Louis Curien
Domains and Lambda-calculi
  • PDF
  • English
  • Year: 1996
  • Author: Roberto M. Amadio, Pierre-Louis Curien
Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings
  • PDF
  • English
  • Year: 1991
  • Author: Thomas Ehrhard, Pasquale Malacaria (auth.), David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel Poigné, David E. Rydeheard (eds.)
Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Marcelo Fiore, Chung-Kil Hur (auth.), Pierre-Louis Curien (eds.)
Co-Create: How Your Business Will Profit from Innovative and Strategic Collaboration
  • EPUB
  • English
  • Year: 2017
  • Author: David Nour
Relationship Economics: Transform Your Most Valuable Business Contacts Into Personal and Professional Success
  • PDF
  • English
  • Year: 2023
  • Author: David Nour
Relationship Economics: Transform Your Most Valuable Business Contacts Into Personal and Professional Success
  • EPUB
  • English
  • Year: 2023
  • Author: David Nour
search