J.A. Alonso - Newsletter
Readings on computational logic, interactive theorem proving and functional programming.
By José A. Alonso
· Launched hace un año
Subscribe
Al suscribirme, acepto los
Términos de uso
de Substack y reconozco su
Aviso de recopilación de información
y
Política de privacidad
No, gracias.
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts