Jonathan Sterling

Une exploration du rôle de la théorie des types dans la structuration des relations mathématiques et informatiques.

Découvre l'importance de la programmation sensible aux coûts pour optimiser la gestion des ressources.

Un aperçu des graphiques réflexifs et de leurs applications à travers des lentilles.