Apr 5, 2008 itp-thesisresearch Thesis * Thesis Page at ITP * [thesis:Clay's Introductory Talk](/wiki/2008-04-05-thesis-clay's_introduc...