ラムダ計算
lambda calculus
turing completeness
μ-recursive function
definable by
lambda calculus
https://stackoverflow.com/a/10524131
https://colimit.net/posts/normalisation-by-evaluation/