ラムダ計算

ラムダ計算 - Wikipedia

関連

チューリングマシン

ラムダ計算, チューリングマシン