Spahn
W-type
Redirected from "descent type".
See ยง2 in
- Steve Awodey, Nicola gambino, Kristina Sojakova, inductive types in homotopy type theory, arXiv:1201.3898
Created on February 25, 2013 at 07:47:44.
See the history of this page for a list of all contributions to it.