4 ms·
I really enjoyed A Tutorial Introduction to Lambda Calculus by Raul Rojas. Apparently he released a new version last year: https://arxiv.org/abs/1503.09060 http
by teamhappy 10y ago
I really enjoyed A Tutorial Introduction to Lambda Calculus by Raul Rojas. Apparently he released a new version last year: https://arxiv.org/abs/1503.09060 https://arxiv.org/abs/1503.09060
- viebel 10y agoEnjoyed it also.
- splintercell 10y agoOh wow, I printed an older version and have been reading it during my commutes for past few days. So happy that there's a newer version.