Optimal Reduction without Oracle?
Logic in Computer Science
2017-01-24 v2
Abstract
We suggest an approach to solve the problem of matching fans in interaction net implementations of optimal reduction for the pure untyped lambda calculus without use of any additional agent types. Our implementation supports a wider class of lambda terms than the abstract version of Lamping's algorithm and beats the interaction net implementation of closed reduction by the total number of interactions.
Cite
@article{arxiv.1701.04691,
title = {Optimal Reduction without Oracle?},
author = {Anton Salikhmetov},
journal= {arXiv preprint arXiv:1701.04691},
year = {2017}
}
Comments
3 pages