A Tutorial Introduction to the Lambda Calculus · HackerPapers discussions

A Tutorial Introduction to the Lambda Calculus — HN submission

Mon, 17 Feb 2025 10:24:36 GMT

A Tutorial Introduction to the Lambda Calculus (2015)

2 points; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.

A Tutorial Introduction to the Lambda Calculus — HN submission

Sun, 16 Feb 2025 17:26:37 GMT

A Tutorial Introduction to the Lambda Calculus (2015)

2 points; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.

A Tutorial Introduction to the Lambda Calculus — mentioned by hackermailman

Wed, 01 Jul 2020 01:00:27 GMT

Type 'cmu lecture notes lambda calculus' into google. Or 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

Paper and discussion history. A mention is not an endorsement.

A Tutorial Introduction to the Lambda Calculus — mentioned by geoalchimista

Wed, 24 Oct 2018 17:56:45 GMT

There is an updated version of this tutorial on arxiv: https://arxiv.org/abs/1503.09060

Paper and discussion history. A mention is not an endorsement.

A Tutorial Introduction to the Lambda Calculus — mentioned by teamhappy

Fri, 29 Jul 2016 12:52:55 GMT

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

Paper and discussion history. A mention is not an endorsement.