Results for homotopy type theory
-
homotopytypetheory.org
Homotopy Type Theory
This site serves to collect and disseminate research, resources, and tools for the investigation of homotopy type theory, and hosts a blog for those involved in its study. Homotopy Type Theory refers to a new interpretation of Martin-Löf's system of
@wordpressdotcom
-
mawarren.net
Michael A. Warren
Michael A. Warren, researcher in mathematics, logic and computer science
-
Homotopy Type Theory
This site serves to collect and disseminate research, resources, and tools for the investigation of homotopy type theory, and hosts a blog for those involved in its study. Homotopy Type Theory refers to a new interpretation of Martin-Löf's system of
-
Michael A. Warren
Michael A. Warren, researcher in mathematics, logic and computer science
