Can construct a fixed point M for a lambda term L by defining M = (λx.L(xx))(λx.L(xx)).
1:29 PM - 22 Sep 2016
0 replies
2 retweets
2 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.