Author Archives: HoTT

Oberwolfach Report

Posted on 13 April 2011 by HoTT

Richard Garner has now completed and posted the report from the Oberwolfach meeting.

Posted in Foundations, Univalence | 1 Comment