"The long-awaited book on Homotopy Type Theory, a creation of a group of mathematicians working under the collective name of Univalent Foundations Program, is now out!" http://m-phi.blogspot.com.br/2013/06/homotopy-type-theory-book-is-out.html
"We are a group of two dozen mathematicians who wrote a 600 page book in less than half a year." http://audrey.fmf.uni-lj.si/hott.html (para controle de revisões eles usaram o github) http://vimeo.com/68761218 O livro está inteiramente disponível sob a licença Creative Commons. http://homotopytypetheory.org/book/ JM _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
