Higher Dimensional Type Theory
HDTT 2011
Tuesday, May 31, 2011, Novi Sad, Serbia
Part of RDP'11
HDTT is CANCELLED
Overview
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
- Thorsten Altenkirch, University of Nottingham
- Peter LeFanu Lumsdaine, Dalhousie University