en Charla |

The simplicial category in Isabelle/HOL, with a discussion on the simplicial model of homotopy type theory

 

Ponente: Jose Divasón (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: martes 22 de diciembre, 10:00