Non-Uniform Hypercoherences. - Pierre Boudes (CTCS, 2002)

Projecting Games on Hypercoherences. - Pierre Boudes (ICALP, 2004)

Thick Subtrees, Games and Experiments. - Pierre Boudes (TLCA, 2009)

Non-uniform (hyper/multi)coherence spaces. - Pierre Boudes (Math. Struct. Comput. Sci., 2011)

A characterization of the Taylor expansion of lambda-terms. - Pierre Boudes; Fanny He; Michele Pagani (CSL, 2013)

An abstract approach to stratification in linear logic. - Pierre Boudes; Damiano Mazza; Lorenzo Tortora de Falco (Inf. Comput., 2015)