Atsushi Igarashi Naoki Kobayashi A generic type system for the Pi-calculus. 128-141 2001 conf/popl/2001 POPL http://doi.acm.org/10.1145/360204.360215 db/conf/popl/popl2001.html#IgarashiK01