Can construct a fixed point M for a lambda term L by defining M = (λx.L(xx))(λx.L(xx)).
9:25 AM - 25 Apr 2019
0 replies
0 retweets
5 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.