An Interaction-based Language and its Typing System (1994)
by
Kaku Takeuchi
,
Kohei Honda
,
Makoto Kubo
| Venue: | In PARLE’94, volume 817 of LNCS |
| Citations: | 98 - 15 self |
Document Versions
| An Interaction-based Language and its Typing System –Kaku Takeuchi, Kohei Honda, Makoto Kubo — 1994 — In PARLE’94, volume 817 of LNCS |
