Not sure what you mean by self-contained, but there is the Homotopy Type Theory book:

https://homotopytypetheory.org/book/