Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Homotopy Theoretic Aspects of Constructive Type Theory
 

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