J.A. Alonso - Newsletter

José A. Alonso
José A. Alonso's avatar
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.