Robert Atkey

Uno sguardo al tempo polinomiale e alla sua relazione con i sistemi di tipi nell'informatica.

Uno sguardo più da vicino alle logiche MAV e BV e alle loro implicazioni.