Groupe de travail "Logique et Programmation": Damiano Mazza
Monday 3 November 2008 at 03.30 PM by damiano
GdT Log&Prog: Damiano Mazza
Monday 3 November 2008 at 03.30 PM
Location: B311, LIPN — Duration: one hour
The next meeting of the GdT "Logique et Programmation" will take place on
Monday, 3 November 2008,
at 3:30 pm, in room B311.
We will listen to the second part of the talk started last time by Damiano Mazza (LIPN), about stratified parity spaces as a denotational semantics for linear logic by levels.