'There may, indeed, be other applications of the system [i.e. lambda calculus] than its use as a logic.' -- Alonzo Church, 1932
2:20 PM - 3 Jan 2019
0 replies
4 retweets
22 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.