About José A. Alonso

Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.

Lists

Timeline

Jose_A_Alonso has no activity yet