Application $\mu:L^{\times 2}\rightarrow L \text{ and } (y\cdot x) = (yx):=\mu(y,x)$ Degree of negligence $\delta:L\rightarrow \mathbb Z \text{ and } L_{\geq 0}:={x ...
Lambda Calculus is a tiny functional language for expressing computation based on function abstraction and application. This project is intended to be an educational resource for learning and ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results