J.A. Alonso - Newsletter

Readings on computational logic, interactive theorem proving and functional programming.

By José A. Alonso
· Launched hace un año
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