abstract-algorithm (npm): Optimal evaluation of some lambda terms
Keywords: functional-programming|lambda-calculus|interaction-combinators|interaction-nets