Higher Dimensional Type Theory

HDTT 2011

Tuesday, May 31, 2011, Novi Sad, Serbia
Part of RDP'11



The workshop is on "Higher Dimensional Type Theory", which develops the homotopy-theoretic and higher-categorical analysis of Type Theory; in particular, the models proposed by Vladimir Voevodsky and Awodey & Warren, along with the structural analyses of Garner & Gambino Garner & van den Berg , and Lumsdaine.

Higher dimensional type theory rejects the principle of Uniqueness of Identity Proofs, while accommodating principles such as functional extensionality and the use of (internal) isomorphism as equality on sets.

More information can be found here.

Program Chairs