Summary: Homotopy Theoretic Aspects of Constructive
Type Theory
Michael Alton Warren
August 2008
Carnegie Mellon University
Homotopy Theoretic Aspects of Constructive Type Theory
Michael Alton Warren
August 2008
Committee
Steven M. Awodey (chair)
Nicola Gambino
Alex Simpson
Thomas Streicher
Submitted in partial fulfillment of the requirements for the degree of
Doctor of Philosophy in
Logic, Computation and Methodology
Department of Philosophy
Contents
Abstract vii
Acknowledgements ix

Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University
Princeton University, Institute for Advanced Study, School of Mathematics

Collections: Mathematics