Home Advanced Search

Advanced Search - Page 1

Logical frameworks
  • PDF
  • English
  • Year: 1991
  • Author: Gèrard Huet, Gordon Plotkin
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
  • 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
Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Gordon Plotkin (auth.), Alexander Kurz, Marina Lenisa, Andrzej Tarlecki (eds.)
Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Gordon Plotkin, John Power (auth.), Furio Honsell, Marino Miculan (eds.)
Transactions on Computational Systems Biology VI
  • PDF
  • English
  • Year: 2006
  • Author: Pierre-Yves Bourguignon, Vincent Danos (auth.), Corrado Priami, Gordon Plotkin (eds.)
search