Abramsky-Jagadeesan-Malacaria strategies and the geometry of interaction, mémoire de (1995)

by P Baillot