Scopri come l'Homotopy Type Theory trasforma il nostro modo di vedere insiemi e tipi.
― 7 leggere min
Daniel Gratzer
Un nuovo concetto che sta cambiando il nostro modo di vedere i tipi nella matematica e nella programmazione.
― 6 leggere min
Scienza all'avanguardia spiegata semplicemente
Scopri come l'Homotopy Type Theory trasforma il nostro modo di vedere insiemi e tipi.
― 7 leggere min
Un nuovo concetto che sta cambiando il nostro modo di vedere i tipi nella matematica e nella programmazione.
― 6 leggere min