| Speaker: | Daniel De Carvalho (LORIA, INRIA, Nancy)
|
|
| Quando: | 16/01/2009 - 13:00
|
|
| Dove: | Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
|
|
|
Abstract
|
||
Lista seminari
Descrizione | Programma | Lista seminari
Sémantiques de la logique linéaire et temps de calcul
Dalle dimostrazioni parallele a quelle sequenziali: polarità e sequenzialità in logica lineare
| Speaker: | Paolo Di Giamberardino (LIPN, Université Paris 13)
|
|
| Quando: | 16/01/2009 - 14:00
|
|
| Dove: | Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
|
|
|
Abstract
|
||
Sémantique des jeux asynchrones et réécriture 2-dimensionnelle
| Speaker: | Samuel Mimram (PPS, Université Paris 7)
|
|
| Quando: | 16/01/2009 - 15:00
|
|
| Dove: | Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
|
|
|
Abstract
|
||