In this dissertation I prove several results which serve to relate Martin-Löf's intensional type theory to certain structures arising in homotopy theory and ...
People also ask
What is the homotopy category theory?
What is the homotopy theory of schemes?
What is the Homotopical number theory?
What are the prerequisites for homotopy theory?
Warren, M.A.: Homotopy theoretic aspects of constructive type theory, Ph.D. thesis, CMU (2008). Google Scholar · Download references. Author information ...
Homotopy theoretic aspects of constructive type theory. MA Warren. PhD thesis, Carnegie Mellon University, 2008. 114, 2008.
[PDF]; Homotopy theoretic aspects of constructive type theory. Michael A. Warren, Ph.D. thesis: Carnegie Mellon University, 2008. [PDF] ...
Homotopy theoretic aspects of constructive type theory, Ph.D. Thesis in Logic, Carnegie Mellon University, 2008. Homotopy models of intensional type theory, Ph.
[4] M.A. Warren – Homotopy theoretic aspects of constructive type theory, Ph.D. thesis,. Carnegie Mellon University, 2008. Equality and dependent type theory.
Jan 1, 2009 · [20]Warren, M. A. Homotopy theoretic aspects of constructive type theory. PhD. thesis. Carnegie Mellon University. In preparation.Google ...
Jul 14, 2008 · [20] M. A. WARREN. Homotopy theoretic aspects of constructive type theory. PhD. thesis. Carnegie Mel- lon University. In preparation.
pp. 579–604 (electronic). MR 1648048 (99j:14018). War08. Michael A. Warren, Homotopy theoretic aspects of constructive type theory,. Ph.D. thesis, CMU, 2008.
In mathematical logic and computer science, homotopy type theory (HoTT) refers to various lines of development of intuitionistic type theory, based on the ...