Una teoria dei tipi a due livelli collega le dimostrazioni logiche e la programmazione pratica.
― 8 leggere min
Scienza all'avanguardia spiegata semplicemente
Una teoria dei tipi a due livelli collega le dimostrazioni logiche e la programmazione pratica.
― 8 leggere min