関数型言語fのラムダ計算で引き算ができません の記事を書いたときに多くのラムダ計算の資料にお世話になりました。また試すときに忘れそうなので、URLを残しておきます。
- 404 Blog Not Found – javascript Lambda Calculus
- 檜山正幸のキマイラ飼育記内のJavaScriptで学ぶ・プログラマのためのラムダ計算
- ラムダ計算基礎文法最速マスター
- https://en.wikipedia.org/wiki/Lambda_calculus 日本語のwikipediaを読んで、式を英語版のWikipediaで見たりしていました。省略されていない書き方なのでわかりやすかったです。
- https://wiki.mma.club.uec.ac.jp/alstamber/LambdaCalculus
- https://kimiyuki.net/blog/2014/04/05/lambda-calculus-for-great-good/ これを参考に続きを実装しよう
- 「ラムダ計算」を独学で学習するための,講義ノートやPDFのリンク集 (復習用の問題付き)
- imHo – ラムダ計算でハマる