Token-passing Optimal Reduction with Embedded Read-back
Logic in Computer Science
2016-09-14 v1
Abstract
We introduce a new interaction net implementation of optimal reduction for the pure untyped lambda calculus. Unlike others, our implementation allows to reach normal form regardless of the interaction net reduction strategy using the approach of so-called token-passing nets and a non-deterministic extension for interaction nets. Another new feature is the read-back mechanism implemented without leaving the formalism of interaction nets.
Cite
@article{arxiv.1609.03644,
title = {Token-passing Optimal Reduction with Embedded Read-back},
author = {Anton Salikhmetov},
journal= {arXiv preprint arXiv:1609.03644},
year = {2016}
}
Comments
In Proceedings TERMGRAPH 2016, arXiv:1609.03014