
Sign up to save your podcasts
Or
In this episode, I describe the first proof of normalization for STLC, written by Alan Turing in the 1940s. See this short note for Turing's original proof and some historical comments.
5
1717 ratings
In this episode, I describe the first proof of normalization for STLC, written by Alan Turing in the 1940s. See this short note for Turing's original proof and some historical comments.
272 Listeners
90,830 Listeners
30,823 Listeners
108 Listeners
4,136 Listeners
33 Listeners
15,220 Listeners
34 Listeners
11 Listeners
10,493 Listeners
3,271 Listeners
47 Listeners
28 Listeners