Home Advanced Search

Advanced Search - Page 1

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
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
Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001
  • PDF
  • English
  • Year: 2003
  • Author: Pierre-Louis Curien (auth.), G Q Zhang, J. Lawson, Y.-M. Liu, M.-K. Luo (eds.)
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
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.)
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.)
Combinators and Functional Programming Languages: Thirteenth Spring School of the LITP Val d'Ajol, France, May 6–10, 1985 Proceedings
  • DJVU
  • English-French
  • Year: 1986
  • Author: P. Bellot, B. Robinet (auth.), Guy Cousineau, Pierre-Louis Curien, Bernard Robinet (eds.)
Foundations of Software Science and Computational Structures: 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Igor Walukiewicz (auth.), Roberto Amadio (eds.)
search