J.A. Alonso - Newsletter
Readings on computational logic, interactive theorem proving and functional programming.
Por José A. Alonso
· Lanzado hace 3 años
Suscribirse
Al suscribirte, aceptas los
Términos de uso
de Substack y reconoces su
Aviso de recopilación de información
y su
Política de privacidad
.
No, gracias.
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts