Principal typing schemes in a polyadic p-calculus (1993)

by V T Vasconcelos, K Honda
Venue:In Proceedings of CONCUR'93