Dalle dimostrazioni parallele a quelle sequenziali: polarità e sequenzialità in logica lineare

Descrizione | Programma | Lista seminari

Speaker:
Paolo Di Giamberardino (LIPN, Université Paris 13)
Quando:
16/01/2009 - 14:00
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Abstract