arXiv:1710.07516 [cs.LO]
Oct. 23rd, 2017 05:07 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
codedothttps://arxiv.org/abs/1710.07516
An impure solution to the problem of matching fans
We present an algorithm 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. The algorithm relies upon a specific interaction nets reduction strategy and involves side effects in one of interaction rules.
An impure solution to the problem of matching fans
We present an algorithm 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. The algorithm relies upon a specific interaction nets reduction strategy and involves side effects in one of interaction rules.
