'There may, indeed, be other applications of the system [i.e. lambda calculus] than its use as a logic.' -- Alonzo Church, 1932
9:25 AM - 6 Jun 2019
0 replies
13 retweets
36 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.