Home

Jump from parallel to sequential proofs: on polarities and sequentiality in Linear Logic

Descrizione | Programma | Lista seminari

Speaker:
Paolo Di Giamberardino
Quando:
18/04/2008 - 09:15
Dove:
Abstract

Direttori di tesi: V.M. Abrusci, J.-Y. Girard