Software Type Theory and Practical Application

Overview of Type Theory, emphasizing Homotopy Type Theory, and introduction to practical application.

Science Intoduction to Homotopy Type Therory

1.A very brief introduction toHomotopy Type Theory2. The Institute for Advanced Study in Princeton, in my opinion, has ruined more good scientists than any institution hascreated,…