Bir fonksiyon belirtmek için [değişken → değişkeni içeren tanımlayıcı ifade], fonksiyonu uygulamak için ise fonksiyon(argüman) notasyonları kullanılmaktadır. Örneğin [x → x × x] kare alma fonksiyonunu belirtmektedir. Fonksiyonlar fonksiyonlar üzerinde uygulanabilmekte ve sonuç olarak fonksiyon dönebilmektedir.

[y → [z → z × (z + 1)/2](y − 1)](8) hesaplandığında hangi değeri verir?

([z → [g → g(z + 1)]](4))([x → 2 × x]) hesaplandığında hangi değeri verir?

([f → [g → [x → (g(f(x)))]]](M))(N) ifadesinin fonksiyon olarak [y → y] ile denk olması için M ve N yerine hangi ifadeler gelebilir?