Login / Signup

A Sort Inference Algorithm for the Polyadic Pi-Calculus.

Simon J. Gay
Published in: POPL (1993)
Keyphrases