# Homotopy Type Theory References (Rev #64, changes)

Showing changes from revision #63 to #64: Added | Removed | Changed

A roughly taxonomised listing of some of the papers on Homotopy Type Theory. Titles link to more details, bibdata, etc. Currently very incomplete; please add!

A good place to start