Home
Papers
Teaching
Misc
Some photos from the Types Working Group Annual Meeting 2003 at Torino
Click on the images to get a larger version.
Last modified: Sun Mar 22 01:20:32 CET 2009