4 ms·
Type 'cmu lecture notes lambda calculus' into google. Or https://www.cs.cmu.edu/~rwh/pfpl/ https://www.cs.cmu.edu/~rwh/pfpl/ and his various lectures from OPLSS
by hackermailman 6y ago
Type 'cmu lecture notes lambda calculus' into google. Or https://www.cs.cmu.edu/~rwh/pfpl/ https://www.cs.cmu.edu/~rwh/pfpl/ and his various lectures from OPLSS on YouTube too. The original Church thesis is on google scholar.
Look on arxiv https://arxiv.org/abs/1503.09060 https://arxiv.org/abs/1503.09060