Channel dependent types for higher-order mobile processes.

Nobuko Yoshida

Browse the full POPL paper archive.