# Homotopy Type Theory References

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

## Other

Last revised on November 1, 2018 at 13:48:34. See the history of this page for a list of all contributions to it.