An interaction-based language and its typing system (1994)

by Kaku Takeuchi, Kohei Honda, Makoto Kubo
Venue:In Parallel Architectures and Languages Europe