Home

Informal workshop on advances in Linear Logic proof nets

Organizzatori:
Lorenzo Tortora de Falco
Paolo Di Giamberardino
Inizio:
18/04/2008
Fine:
18/04/2008
Dove:
Facoltà di Lettere e Filosofia, via Ostiense, 234 - 00144 Roma
Descrizione

Discussion on the themes of proof-nets and their differential version (differential proof-nets). We have planned by now only a few number of structured talks:
- Damiano Mazza "Linear Logic by Levels and Bounded Time Complexity"
- Paolo Tranquilli "A characterization of MALL hypercoherent semantic correctness"
More information will follow.
Programma
Lista seminari