Ke Wu

Una panoramica delle idee matematiche chiave e dei loro usi pratici.

Uno sguardo ai tipi, ai contesti e alle prove nei linguaggi di programmazione.

Scopri come le dinamiche non normali mettono in discussione la nostra visione dei cambiamenti improvvisi.