Amokrane Saïbi
发表
Gérard P. Huet,
Amokrane Saïbi,
2000,
Proof, Language, and Interaction.
Amokrane Saïbi,
1994,
TYPES.
Hugo Herbelin,
Jean-Christophe Filliâtre,
Cristina Cornes,
1997
.
Amokrane Saïbi,
1997,
POPL '97.