| Current Path : /usr/home/beeson/public_html/michaelbeeson/research/otter-lambda/examples/LambdaLogic/ |
| Current File : /usr/home/beeson/public_html/michaelbeeson/research/otter-lambda/examples/LambdaLogic/lambda4.prf |
1 [] x=x. 2 [] ap(c,ap(lambda(x,ap(c,ap(x,x))),lambda(x,ap(c,ap(x,x)))))!=ap(lambda(x,ap(c,ap(x,x))),lambda(x,ap(c,ap(x,x)))). 3 [binary,2.1,1.1] $F.