Search Results for 'forinstance set'

forinstance set published presentations and documents on DocSlides.

TowardsapracticalprogramminglanguagebasedondependenttypetheoryUlfNorel

by unita

4connectionisestablishedbyageneralmetatheoremFinal...

Variation on cubical sets

by alida-meadow

IfwehaveaL-system~uoni;Iandwehaveamapf:I!dM(J)with...

typeswouldimplementanequals

by callie

methodwhichcomparestheboxedvaluesBycontrastinJavaa...