(binary lambda calculus) and lambda diagrams that supply a graphical way of representing lambda calculus expressions. Tromp has done research on a lambda calculus-equivalent to the busy beaver function.

References

External links

* at GitHub
*
*
*

1.Previous
3.Next