Philosophical Logic (@logicians) 05/10/13 11:47 "Voevodsky’s #Univalence Axiom in #Homotopy Type Theory" S. Awodey, et al. #math #logic #philosophy ams.org/notices/201309…
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
