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:108 - 17 self