The Scott model of Linear Logic is the extensional collapse of its relational model

Descrizione | Programma | Lista seminari

Speaker:
Thomas Ehrhard
Quando:
24/04/2009 - 11:45
Dove:
Abstract

Non disponibile.