Working Group on Univalent Foundations

Date

Speakers

Daniel Grayson

Affiliation

Member, School of Mathematics, IAS