Search Results for 'Homotopytypetheory'

Homotopytypetheory published presentations and documents on DocSlides.

ReducingInductiveInductiveTypestoIndexedInductiveTypesThorstenAltenki

ReducingInductiveInductiveTypestoIndexedInductiveTypesThorstenAltenki

murphy
2 Slides

ReducingInductive-InductiveTypesAltenkirch,Kaposi,...

Copyright © 2025 DocSlides. All Rights Reserved