Directed Type Theory

Date

Speakers

Michael Warren

Affiliation

Dalhousie University; Member, School of Mathematics