関数型プログラミング
関数型言語の開発において、アロンゾ・チャーチが1932年と1941年に発表したラムダ計算の研究ほど基本的で重要な影響を与えたものはない。ラムダ計算は、それが考え出された当時はプログラムを実行するようなコンピュータが存在しなかったためにプログラミング言語として見なされなかったにも関わらず、今では最初の関数型言語とされている。1989年現在の関数型言語は、そのほとんどがラムダ計算に装飾を加えたものとして見なせる。