# Homotopy Type Theory Uniqueness of Identity Proofs

The groupoid interpretation of type theory” [PDF], by Martin Hofmann and Thomas Streicher, 1996.