Termene i er definert som . Her represetnerer en funksjon som tar et argument av typen , og som returnerer . Jukstaposisjon av to termer, representerer funksjonskall (vanlig notasjon innen matematikk er ), og er referanse til en variable.