Download keynote higher inductive types in homotopy type theory – kristina sojakova

Duration: (39:39)


Download This Video Mp4/Mp3


keynote higher inductive types in homotopy type theory – kristina sojakova keynote higher inductive types in homotopy type theory – kristina sojakova keynote higher inductive types in homotopy type theory – kristina sojakova

Description
Download this and online watch keynote higher inductive types in homotopy type theory – kristina sojakova
Related videos

Database error plz Refresh this page

Mxtube.net