Readings on computational logic, interactive theorem proving and functional programming.
Lecturas de GLC hasta octubre de 2018