Computing in Coq with Infinite Algebraic Data Structures Ponente: César Domínguez (Universidad de La Rioja) Lugar: Aula 102, Edificio Vives Hora: viernes 2 de julio, 10:00 Se trata de una prueba de tiempo para la charla que la semana que viene César impartirá en el congreso Calculemus 2010.