Types for dydadic interaction (1993)

by Kohei Honda
Venue:In CONCUR'93, volume 715 of Lecture Notes in Computer Science