Denotational semantics for linear logic by levels

Descrizione | Programma | Lista seminari

Speaker:
Damiano Mazza
Quando:
24/04/2009 - 09:30
Dove:
Abstract

Non disponibile.