Temas
De Seminario de Lógica Computacional (2018)
Revisión del 09:13 26 feb 2018 de Jalonso (discusión | contribuciones)
Temas de Seminario de lógica computacional (2018)
En esta página se irán publicando los temas conforme se vayan estudiando.
- Tema 0: Introducción de B. Pierce a "Software foundations".
- Tema 1: Programación funcional en Coq