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

by K Takeuchi, K Honda, M Kubo
Venue:PARLE’94, volume 817 of LNCS