학술논문
An implementation model of the typed λ-calculus based on Linear Chemical Abstract Machine
Document Type
Article
Author
Source
In Electronic Notes in Theoretical Computer Science September 2002 64:292-307
Subject
Language
ISSN
1571-0661