Spahn W-type (changes)

Showing changes from revision #0 to #1: Added | ~~Removed~~ | ~~Chan~~ged

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.