You have to undestrand that linguists use formal cs language and not vice versa. For example try to read the wikipedia artivle for montegue grammar you will find the use of standard lambda notation