Sign in
Create account
Share this profile
José A. Alonso
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Copy link
Facebook
Email
Note
Other
José A. Alonso
6 links
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
See subscribers
Subscribe
J.A. Alonso - Newsletter
By José A. Alonso
Readings on computational logic, interactive theorem proving and functional programming.
Posts
Notes
Likes
Reads (42)
Get app
Dive into your interests
We'll recommend top publications based on the topics you select.
Continue
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts