Campuses:

Homotopy theory for proof checking

Thursday, July 28, 2011 - 3:10pm - 3:30pm
Lind 305
Daniel Grayson (University of Illinois at Urbana-Champaign)
Homotopy theory for proof checking