Higher Inductive Types

Date

Speakers

Peter Lumsdaine

Affiliation

Dalhousie University; Member, School of Mathematics