言語学徒向けメモ λ計算 (lambda calculus) の入門書など

ytb @ytb_at_twt 本日の会話「この関数 f も再帰関数ですよね」「いや、どうでしょうか」「λ項で書けるのでチャーチの提唱から再帰関数では」「λ項で書けるからと言ってその全域性が証明できるとは限りません」「えっ」「えっ」教訓；語「再帰関数」は「全域的再帰関数」を指示することもある

[tarao]

言語学の人たちに基礎文法最速マスターが紹介されてる! プログラマ向けに書いたから伝わるのか不安だけど分かってもらえてそうでよかった