Home Advanced Search

Advanced Search - Page 1

Logical Frameworks
  • DJVU
  • English
  • Year: 1991
  • Author: Gerard Huet, G. Plotkin (editors)
Logical Foundations of Functional Programming
  • DJVU
  • English
  • Year: 1990
  • Author: Gerard Huet
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
Cobordism and exotic spheres
  • PDF
  • English
  • Author: Plotkin
Proof, Language, and Interaction: Essays in Honour of Robin Milner
  • PDF
  • English
  • Year: 2000
  • Author: Plotkin G., Stirling C.P., Tofte M. (eds.)
Proof, Language, and Interaction: Essays in Honour of Robin Milner
  • DJVU
  • English
  • Year: 2000
  • Author: Plotkin G., Stirling C.P., Tofte M. (eds.)
Algebraic methods in statistical mechanics and quantum field theory
  • DJVU
  • English
  • Year: 1972
  • Author: Gerard G. Emch
Algebraic Methods in Statistical Mechanics and Quantum Field Theory
  • DJVU
  • English
  • Year: 1972
  • Author: Gerard G. Emch
Industrial organic chemicals
  • PDF
  • English
  • Year: 2004
  • Author: Harold Wittcoff; B G Reuben; Jeffrey S Plotkin
search