Nome: | Lorenzo
|
Cognome: | Tortora de Falco
|
|
Università: | Università Roma Tre
|
Dipartimento: | Dipartimento di Filosofia
|
|
Inizio: | 02/12/2006
|
Fine: | 09/12/2006
|
|
Presso: | Institut de Mathématiques de Luminy / Equipe PPS - CNRS Paris
|
|||
Descrizione
Talk having as title "Logique linéaire et normalisation forte" at the working group "Sémantique et Réalisabilité" (responsables : R. Harmer, P.-A. Melliès et A. Miquel) |