Home
Papers
Teaching
Misc
Some photos from the
Workshop on Mathematical Theories of Abstraction, Substitution and Naming in Computer Science
in Edinburgh
Click on the images to get a larger version.
Last modified: Sun Mar 22 01:34:31 CET 2009