Homotopy Type Theory
extensional dagger 2-poset > history
Redirected from "beta-equivalence".