| Current Path : /home/beeson/public_html/michaelbeeson_old/research/otter-lambda/examples/LambdaLogic/ |
| Current File : //home/beeson/public_html/michaelbeeson_old/research/otter-lambda/examples/LambdaLogic/lambda4.html |
<p>This file simply verifies the standard fixed point construction of lambda calculus. If you are not familiar with this construction, it is explained in <a href="index.php?include=LambdaCalculus">Lambda Calculus</a>. There is a also a discussion of this example in <a href="../papers/ImplicitAndExplicitTyping.pdf">Implicit and Explicit Typing in Lambda Logic</a>. </p> <p> </p>