Bilgisayarda göndermelere Türkçede genellikle işlev ya da fonksiyon adı verilir.
- Bilgisayar biliminde hesaplanabilir işlevler, birbirine eşdeğer olan Church ve Turing Tezleri ile incelenir.
- Girdisi ve çıktısı mantıksal (ikili ya da Boolean) olan işlevler, BDD'ler yardımıyla gösterilebilir.