Superpromotion(s) et présentation intuitionniste de la logique linéaire différentiel

Descrizione | Programma | Lista seminari

Speaker:
Paolo Tranquilli (Dip. Matematica - Roma 3) + Stephan Gimenez (PPS - Paris 7)
Quando:
30/04/2008 - 13:00
Dove:
Aula Verra, Facoltà di Lettere e Filosofia (piano terra), Università Roma Tre
Abstract