4 citations · 11 across the 15 of their papers we have counts for
4 papers · 1 filter
An impure solution to the problem of matching fans
Anton Salikhmetov
We propose 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 additi…
Parallel needed reduction for pure interaction nets
Anton Salikhmetov
Reducing interaction nets without any specific strategy benefits from constant time per step. On the other hand, a canonical reduction step for weak reduction to interface normal f…
A better model of computation for digital physics?
Anton Salikhmetov
This note is meant to invite the reader to consider interaction nets, a relatively recently discovered model of computation, as a possible alternative for cellular automata which a…
Optimal Reduction without Oracle?
Anton Salikhmetov
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 additio…