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

by K Takeuchi, K Honda, M Kubo
Venue:PARLE’94,