See the page about Andrew Stacey in the main nLab.
Created on January 18, 2010 at 20:37:06. See the history of this page for a list of all contributions to it.