Home Advanced Search

Advanced Search - Page 1

Logical frameworks
  • PDF
  • English
  • Year: 1991
  • Author: Gèrard Huet, Gordon Plotkin
Sanskrit Computational Linguistics: Third International Symposium, Hyderabad, India, January 15-17, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Amba Kulkarni, Gèrard Huet
From Semantics to Computer Science: Essays in Honour of Gilles Kahn
  • PDF
  • English
  • Year: 2009
  • Author: Yves Bertot, Gérard Huet, Jean-Jacques Lévy, Gordon Plotkin
Logical Frameworks
  • DJVU
  • English
  • Year: 1991
  • Author: Gerard Huet, G. Plotkin (editors)
Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)
  • PDF
  • English
  • Year: 2000
  • Author: Gordon Plotkin, Colin Stirling, Mads Tofte
Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)
  • DJVU
  • English
  • Year: 2000
  • Author: Gordon Plotkin, Colin Stirling, Mads Tofte
Proof, Language, and Interaction: Essays in Honour of Robin Milner
  • DJVU
  • English
  • Year: 2000
  • Author: Gordon Plotkin, Colin P. Stirling, Mads Tofte
Proof, Language, and Interaction: Essays in Honour of Robin Milner
  • PDF
  • English
  • Year: 2000
  • Author: Gordon Plotkin, Colin P. Stirling, Mads Tofte
Cobordism and exotic spheres
  • PDF
  • English
  • Author: Plotkin
Theoretical Aspects of Computer Software: International Conference TACS '91 Sendai, Japan, September 24–27, 1991 Proceedings
  • DJVU
  • English
  • Year: 1991
  • Author: Gordon Plotkin (auth.), Takayasu Ito, Albert R. Meyer (eds.)
search