An Interaction-based Language and its Typing System (1994)

by Kaku Takeuchi, Kohei Honda, Makoto Kubo
Venue:In PARLE’94, volume 817 of LNCS