Search results

inet-lib

JavaScript Engine for Interaction Nets

• interaction-nets
• interaction-calculus
• lambda-calculus
• api

alexo

published 0.2.7 • 6 years agopublished 0.2.7 6 years ago

@alexo/lambda

Macro Lambda Calculus

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

alexo

published 0.5.2 • 5 years agopublished 0.5.2 5 years ago

abstract-algorithm

Optimal evaluation of some lambda terms

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

maiavictor

published 0.2.5 • a year agopublished 0.2.5 a year ago