Home Advanced Search

Advanced Search - Page 1

Domains and Lambda-Calculi
  • PDF
  • English
  • Year: 1998
  • Author: Roberto M. Amadio, 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.)
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.)
Lettere filosofiche e scientifiche. Lettera sul progresso delle scienze
  • PDF
  • Italian
  • Year: 2014
  • Author: Pierre-Louis M. de Maupertuis, Federico Focher (editor)
Aristote: Météorologiques. Tome I: Livres I-II
  • PDF
  • French
  • Year: 1982
  • Author: Aristotle; Pierre Louis
Green Washed: Why We Can't Buy Our Way to a Green Planet
  • EPUB
  • English
  • Year: 2012
  • Author: Kendra Pierre-Louis