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

Cached

Download Links

by Kaku Takeuchi , Kohei Honda , Makoto Kubo
Venue:In PARLE’94, volume 817 of LNCS
Citations:151 - 21 self