La formule de Taylor donne-t-elle des modèles de la logique linéaire ?

Descrizione | Programma | Lista seminari

Speaker:
Daniel de Carvalho (INRIA - Nancy)
Quando:
28/04/2008 - 15:30
Dove:
Aula Verra, Facoltà di Lettere e Filosofia (piano terra), Università Roma Tre
Abstract