# Homotopy Type Theory Uniqueness of Identity Proofs (changes)

Showing changes from revision #1 to #2: Added | Removed | Changed

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