An Implementation Model of the Typed λ Calculus Based on Linear Chemical Abstract Machine

Shinya Sato, Toru Sugimoto, Shinichi Yamada

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)271-284
JournalProceedings of International Workshop on Functional and (Constraint) Logic Programming
Publication statusPublished - 2001 Sep 13

Cite this

@article{8f6927c54ab047d8ae2f33df964adaa8,
title = "An Implementation Model of the Typed λ Calculus Based on Linear Chemical Abstract Machine",
author = "Shinya Sato and Toru Sugimoto and Shinichi Yamada",
year = "2001",
month = "9",
day = "13",
language = "English",
pages = "271--284",
journal = "Proceedings of International Workshop on Functional and (Constraint) Logic Programming",

}

TY - JOUR

T1 - An Implementation Model of the Typed λ Calculus Based on Linear Chemical Abstract Machine

AU - Sato, Shinya

AU - Sugimoto, Toru

AU - Yamada, Shinichi

PY - 2001/9/13

Y1 - 2001/9/13

M3 - Article

SP - 271

EP - 284

JO - Proceedings of International Workshop on Functional and (Constraint) Logic Programming

JF - Proceedings of International Workshop on Functional and (Constraint) Logic Programming

ER -