Search Results for 'Typeu'

Typeu published presentations and documents on DocSlides.

2MatthieuSozeauandNicolasTabareauinstantiatedatdierentones,justlikepa

by min-jolicoeur

:=Typeu:Typeu+1andU1 :=Typev:U2 withasingle,global...

ReducingInductiveInductiveTypestoIndexedInductiveTypesThorstenAltenki

by murphy

ReducingInductive-InductiveTypesAltenkirch,Kaposi,...