Home

Proof nets, jumps and boxes in polarized linear logic

Descrizione | Programma | Lista seminari

Speaker:
Paolo Di Giamberardino
Quando:
24/04/2009 - 15:30
Dove:
Abstract

Non disponibile.