Combinatory Representation of Mobile Processes (1994)

by Kohei Honda, Nobuko Yoshida
Venue:In Proceedings of POPL '94