A Quillen Model Structure in Type Theory

Date

Speakers

Peter LeFanu Lumsdaine

Affiliation

Dalhousie University; Member, School of Mathematics