3 01 a functional programmers guide to homotopy type theory

Name: 3 01 a functional programmers guide to homotopy type theory
Uploaded: Oct 4, 2016
Description: 3 01 a functional programmers guide to homotopy type theory