Directed Type Theory

Date

Affiliation

Dalhousie University; Member, School of Mathematics

Speakers

Michael Warren