Author: Tim_Porter Format: MarkdownItexHe is no longer at Notre Dame but at John Hopkins. I edited accordingly, but no personal web page at JHU yet.
<a href="https://ncatlab.org/nlab/revision/diff/Tim+Campion/2">diff</a>, <a href="https://ncatlab.org/nlab/revision/Tim+Campion/2">v2</a>, <a href="https://ncatlab.org/nlab/show/Tim+Campion">current</a>
He is no longer at Notre Dame but at John Hopkins. I edited accordingly, but no personal web page at JHU yet.