Satu-satunya definisi "kalkulus" yang saya ketahui adalah studi tentang batas, turunan, integral, dll dalam analisis. Dalam arti apa kalkulus lambda (atau hal-hal seperti kalkulus mu) adalah "kalkulus"? Bagaimana kaitannya dengan kalkulus dalam analisis?