Genericity and the pi-Calculus.

Martin Berger, Kohei Honda, Nobuko Yoshida

Browse the full FOSSACS paper archive.