| Acronimo: | ProToCoLLo
|
|
| Inizio: | 31/12/2002
|
|
| Fine: | 29/12/2004
|
|
| Homepage | ||
|
Descrizione
"ProToCoLLo" is a research project partially funded by the Ministero dell'Istruzione, Università e Ricerca (MIUR) . "ProToCoLLo" is an achronim for "from proof to computation through linear logic". |
||