homotopy type theory discussed computerphile

Name: homotopy type theory discussed computerphile
Uploaded: Oct 13, 2017
Description: homotopy type theory discussed computerphile