Shin-ya Sato, Toru Sugimoto, Shinichi Yamada. An Implementation Model of the Typed Lambda-Calculus based on Linear Chemical Abstract Machine. Electronic Notes in Theoretical Computer Science, 64:292-307, 2002. [doi]
@article{SatoSY02,
title = {An Implementation Model of the Typed Lambda-Calculus based on Linear Chemical Abstract Machine},
author = {Shin-ya Sato and Toru Sugimoto and Shinichi Yamada},
year = {2002},
url = {http://www.elsevier.com/gej-ng/31/29/23/123/25/show/Products/notes/index.htt#014},
tags = {rule-based, abstract machine},
researchr = {https://researchr.org/publication/SatoSY02},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {64},
pages = {292-307},
}