Combinatory Representation of Mobile Processes.

Kohei Honda, Nobuko Yoshida

Browse the full POPL paper archive.