Can construct a fixed point M for a lambda term L by defining M = (λx.L(xx))(λx.L(xx)).
11:10 AM - 13 Jan 2017
0 replies
3 retweets
3 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.