Il modello di Scott della Logica Lineare è il collasso estensionale del modello relazionale

Speaker:
Thomas Ehrhard
Quando:
30/10/2009 - 11:00
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università degli Studi Roma Tre
Abstract