開發者 slc.sf.net

符號 Lambda 微積分是基於 lambda 微積分和組合邏輯的邏輯形式主義，其中只有一種物件，可以表示條件或相等性。它使用德布魯因和蘭塔微積分符號。