Relative Definability and Models of Unary PCF. - Antonio Bucciarelli; Benjamin Leperchey; Vincent Padovani (TLCA, 2003)

Hypergraphs and Degrees of Parallelism: A Completeness Result. - Antonio Bucciarelli; Benjamin Leperchey (FoSSaCS, 2004)

Time and games. - Benjamin Leperchey (GALOP@ETAPS, 2005)

Relational Reasoning in a Nominal Semantics for Storage. - Nick Benton; Benjamin Leperchey (TLCA, 2005)

Sur la notion d'observation en sémantique. (On the notion of observation in semantics). - Benjamin Leperchey (2005)