Principal Typing Schemes in a Polyadic π-Calculus (1993)

by Vasco T. Vasconcelos , Kohei Honda
Venue:CONCUR'93, LNCS 715
Citations:11 - 1 self