Groupe de travail "Logique et Programmation": Damiano Mazza
Monday 27 October 2008 at 01.30 PM by damiano
GdT Log&Prog: Damiano Mazza
Monday 27 October 2008 at 01.30 PM
Location: B311, LIPN — Duration: one hour
The next meeting of the GdT "Logique et Programmation" will take place on
Monday, 27 October 2008,
at 1:30 pm, in room B311.
We will have another talk by Damiano Mazza (LIPN), who will tell us about his joint work with Lorenzo Tortora de Falco on stratified parity spaces, a denotational semantics for linear logic by levels.