Search Results for 'relttah'

relttah published presentations and documents on DocSlides.

ReducingInductiveInductiveTypestoIndexedInductiveTypesThorstenAltenki

by murphy

ReducingInductive-InductiveTypesAltenkirch,Kaposi,...