J.A. Alonso - Newsletter

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

Por José A. Alonso

· Lanzado hace 9 meses

Al registrarte, aceptas Términos de Servicio de Substack, nuestra Política de Privacidad, y nuestro Aviso de Recolección de Información