Encoding the pure lambda calculus into hierarchical graph rewriting

研究成果: Conference contribution

9 引用 (Scopus)

抜粋

Fine-grained reformulation of the lambda calculus is expected to solve several difficulties with the notion of substitutions-definition, implementation and cost properties. However, previous attempts including those using explicit substitutions and those using Interaction Nets were not ideally simple when it came to the encoding of the pure (as opposed to weak) lambda calculus. This paper presents a novel, fine-grained, and highly asynchronous encoding of the pure lambda calculus using LMNtal, a hierarchical graph rewriting language, and discusses its properties. The major strength of the encoding is that it is significantly simpler than previous encodings, making it promising as an alternative formulation, rather than just the encoding, of the pure lambda calculus. The membrane construct of LMNtal plays an essential role in encoding colored tokens and operations on them. The encoding has been tested using the publicly available LMNtal implementation.

元の言語English
ホスト出版物のタイトルRewriting Techniques and Applications - 19th International Conference, RTA 2008, Proceedings
ページ392-408
ページ数17
DOI
出版物ステータスPublished - 2008 8 13
イベント19th International Conference on Rewriting Techniques and Applications, RTA 2008 - Hagenberg, Austria
継続期間: 2008 7 152008 7 17

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
5117 LNCS
ISSN(印刷物)0302-9743
ISSN(電子版)1611-3349

Conference

Conference19th International Conference on Rewriting Techniques and Applications, RTA 2008
Austria
Hagenberg
期間08/7/1508/7/17

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

フィンガープリント Encoding the pure lambda calculus into hierarchical graph rewriting' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

  • これを引用

    Ueda, K. (2008). Encoding the pure lambda calculus into hierarchical graph rewriting. : Rewriting Techniques and Applications - 19th International Conference, RTA 2008, Proceedings (pp. 392-408). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 5117 LNCS). https://doi.org/10.1007/978-3-540-70590-1_27