Lambda Friends

Outputs will be shown here.
For detailed usage, refer to this article (in Japanese, sorry).
日本語版はこちらから。

Load Macros from File

Macro Name	Definition

Here you can get various formats of the lambda term: the reduction process in LaTeX format, and the conversion of the lambda term into the Graph Rewriting Language LMNtal^[1], SKI combinators, and the de Bruijn Index format.

Reference

^[1] Kazunori Ueda, Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting. Proc. RTA 2008, LNCS 5117, Springer, 2008, pp.392–408.

Convert an LMNtal code into a lambda term

Convert a de Bruijn Index term into a lambda term

Search a lambda term from its reduction graph (experimental)

Depth