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

by Kohei Honda, Makoto Kubo, Kaku Takeuchi
Venue:Pages 398–413 of: Proceedings of PARLE’94. LNCS