本文言語 | English |
---|---|
ページ(範囲) | 271-284 |
ジャーナル | Proceedings of International Workshop on Functional and (Constraint) Logic Programming |
出版ステータス | Published - 2001 9月 13 |
An Implementation Model of the Typed λ Calculus Based on Linear Chemical Abstract Machine
Shinya Sato, Toru Sugimoto, Shinichi Yamada
研究成果: Article › 査読