Interaction-nets | npm.io

JavaScript Engine for Interaction Nets

interaction-nets interaction-calculus lambda-calculus api

0.2.7 • Published 7 years ago

Optimal evaluation of some lambda terms

functional-programming lambda-calculus interaction-combinators interaction-nets

0.2.5 • Published 2 years ago

Macro Lambda Calculus

lambda-calculus pure untyped interaction-nets interaction-calculus optimal-reduction abstract-algorithm closed-reduction lambdascope api

0.5.2 • Published 6 years ago