Lambda Kalkülüs

Kombinatoryal mantığın temel taşlarından biri olan S kombinatörü, fonksiyonel programlama ve lambda-kalkülüs gibi teorik bilgisayar bilimlerinin önemli alanlarında merkezi bir rol oynar. Bu kombinatör...