# Homotopy Type Theory Uniqueness of Identity Proofs (Rev #1)

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