Spahn W-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.