Search Results for 'Homotopytypetheory'

Homotopytypetheory published presentations and documents on DocSlides.

ReducingInductiveInductiveTypestoIndexedInductiveTypesThorstenAltenki

by murphy

ReducingInductive-InductiveTypesAltenkirch,Kaposi,...