A token-passing net implementation of optimal reduction with embedded read-back
Logic in Computer Science
2015-12-15 v2 Programming Languages
Abstract
In this paper, we introduce a new interaction net implementation of optimal reduction for pure untyped lambda calculus. Unlike others, our implementation allows to reach normal form regardless of interaction net reduction strategy using the approach of so-called token-passing nets. Another new feature is the read-back mechanism also implemented without leaving the formalism of interaction nets.
Cite
@article{arxiv.1512.02995,
title = {A token-passing net implementation of optimal reduction with embedded read-back},
author = {Anton Salikhmetov},
journal= {arXiv preprint arXiv:1512.02995},
year = {2015}
}
Comments
7 pages