Awodey_Inductive_Types.pdf Download Tags: CMU homotopy theory initial algebras. Type theory License: Creative Commons 2.5 Submitted by Jamie Hagerty on Mon, 12/05/2016 - 12:37