"Pascal Bonitzer"@cs .