http://www.lulu.com/shop/http://www.lulu.com/shop/univalent-foundations-project/homotopy-type-theory-hardcover/hardcover/product-22480762.html http://www.lulu.c

http://www.lulu.com/shop/http://www.lulu.com/shop/univalent-foundations-project/homotopy-type-theory-hardcover/hardcover/product-22480762.html http://www.lulu.com/shop/http://www.lulu.com/shop/univalent-...