ラムダ計算
時代：初期理論 · 1930年代～1950年代
アロンゾ・チャーチがラムダ計算を提唱した。これは関数の定義と適用のための形式体系である。ラムダ計算は関数型プログラミングの理論的基礎である。1936年のオリジナルのラムダ計算は型なしであり、チャーチは1940年の『単純型理論の形式化』で単純型を導入し、最古の明示的な型システムの一つを生み出した。
アロンゾ・チャーチ (1903～1995)
出典と根拠
An Unsolvable Problem of Elementary Number Theory
American Journal of Mathematics · 出典種別：paper
Church’s 1936 paper presents lambda-definability and undecidability.
公開日： ·確認日：