Principal Typing Schemes in a Polyadic pi-Calculus.

Vasco Thudichum Vasconcelos, Kohei Honda

Browse the full CONCUR paper archive.