J.A. Alonso - Newsletter

Readings on computational logic, interactive theorem proving and functional programming.

Por José A. Alonso
· Lanzado hace 3 años