Ilmu Komputer

19
Set dasar untuk kalkulus combinator

Telah diketahui secara umum bahwa kombinator S dan K membentuk dasar yang ditetapkan untuk kalkulus kombinator, dalam arti bahwa semua kombinator lainnya dapat diekspresikan sesuai dengan kombinasinya. Ada juga B Curry's B, C, K, W, yang memiliki properti yang sama. Pasti ada jumlah pangkalan yang...