linear lambda calculus Synonyms