Home Advanced Search

Advanced Search - Page 1

Category Theory and Computer Science: 6th International Conference, CTCS '95 Cambridge, United Kingdom, August 7–11, 1995 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: Robin Milner (auth.), David Pitt, David E. Rydeheard, Peter Johnstone (eds.)
Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K. September 16–20, 1985 Proceedings
  • DJVU
  • English
  • Year: 1986
  • Author: David Pitt (auth.), David Pitt, Samson Abramsky, Axel Poigné, David Rydeheard (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.)
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Howard Barringer, Klaus Havelund, David Rydeheard, Alex Groce (auth.), Saddek Bensalem, Doron A. Peled (eds.)
The Social Dynamics of Development
  • PDF
  • English
  • Year: 1976
  • Author: David C. Pitt (Auth.)
Advances in Penicillium and Aspergillus Systematics
  • PDF
  • English
  • Year: 1986
  • Author: David L. Hawksworth (auth.), Robert A. Samson, John I. Pitt (eds.)
A Calculus of Communicating Systems
  • DJVU
  • English
  • Year: 1980
  • Author: Robin Milner (eds.)
A calculus of communicating systems
  • PDF
  • English
  • Year: 1980
  • Author: Robin Milner (eds.)
The definition of Standard ML, revised
  • DJVU
  • English
  • Year: 1997
  • Author: Robin Milner, Mads Tofte, Robert Harper, David MacQueen
The Definition of Standard ML - Revised
  • PDF
  • English
  • Year: 1997
  • Author: Robin Milner, Robert Harper, David MacQueen, Mads Tofte
search