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.