Spahn W-type (changes)

Showing changes from revision #0 to #1: Added | Removed | Changed

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.