Interaction-combinators Packages

abstract-algorithm

Optimal evaluation of some lambda terms

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

0.2.5 • Published 2 years ago