Some Uses of Dilators in Combinatorial Problems, II. - V. Michele Abrusci; Jean-Yves Girard 001; Jacques Van de Wiele (J. Symb. Log., 1990)

Modèle cohérent des réseaux de preuve. - Eric Duquesne; Jacques Van de Wiele (Arch. Math. Log., 1994)

Proof nets of PN as graphs. - Eric Duquesne; Jacques Van de Wiele (Arch. Math. Log., 1995)