'There may, indeed, be other applications of the system [i.e. lambda calculus] than its use as a logic.' -- Alonzo Church, 1932
11:10 AM - 4 Jul 2017
0 replies
13 retweets
23 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.