Logica Lineare: verso una logica delle prove

Starting date
May 1, 2002
Duration (months)
24
Departments
Computer Science
Managers or local contacts
Masini Andrea

Sponsors:

Ministero dell'Istruzione dell'Università e della Ricerca
Funds: assigned and managed by the department

Project participants

Andrea Masini
Full Professor

Activities

Research facilities