Readings on computational logic, interactive theorem proving and functional programming.
Introducción a HaskellForMaths
Recopilación de cursos de razonamiento automático.
Recopilación cursos de programación con lenguajes distintos de Haskell, OCaml y Prolog que tienen sus páginas específicas.