An Interactionbased Language and its Typing System (1994)

by Kaku Takeuchi, Kohei Honda, Makoto Kubo
Venue:In PARLE’94