HoTT Reading Notes

Author
Pierre-Yves Gaillard
License
Creative Commons CC BY 4.0
Abstract