Λ 演算會將每一段運算（程式語言想表達嘅語義）表達成一段段好似以下噉嘅「句子」－每句嘢最左手邊都有個「」符號，表示句嘢係 Λ 演算， 跟住後面嘅係個輸入（程式參數）而輸入後面隔一點嘅係輸出，當中個輸出要以「同輸入成乜關係」嘅形式寫出嚟：