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.