Back to Results
First PageMeta Content
Mathematics / Topology / Algebraic topology / Higher category theory / Model category / Groupoid / Simplicial set / Alexander Grothendieck / Model theory / Abstract algebra / Homotopy theory / Category theory


Homotopy Theoretic Aspects of Constructive Type Theory Michael Alton Warren August 2008 Carnegie Mellon University
Add to Reading List

Document Date: 2014-06-01 15:27:30

Open Document

File Size: 1,34 MB

Share Result on Facebook

City

Barcelona / /

Event

Person Communication and Meetings / /

Facility

Fields Institute / Richard Garner / /

Organization

Centre de Recerca Matem`atica / Fields Institute / Carnegie Mellon University / Logic / Computation and Methodology Department / Introduction Chapter / /

Person

Tom Leinster / Jeremy Avigad / Joachim Kock / Peter Lumsdaine / Nicola Gambino / Alex Simpson Thomas Streicher Submitted / Erik Palmgren / Nicola Gambino Alex Simpson Thomas / Steve Awodey / Jaap van Oosten / Martin Hyland / Dana Scott / Myles Tierney / John Mumma / Yimu Yin / Ivar Rummelhoff / Mark Weber / Steven M. Awodey / Nikolaj Pedersen / Benno van den Berg / Ieke Moerdijk / Thomas Streicher / Todd Wilson / Bas Spitters / Alex Simpson / Henrik Forssell / Kohei Kishida / Andrej Bauer / /

Position

thesis advisor / chair / /

SocialTag