Events Tagged: "univalence"

1 events with tag "univalence"

2013 ID: 4530
Homotopy Type Theory and Univalence Axiom - equality of types IS equivalence, solving 40-year problem
ID: 4530