The Evolution of Language

チャーチ：λ算法考案者



λx.2x