符號 Lambda 微積分是基於 lambda 微積分和組合邏輯的邏輯形式主義，其中只有一種物件，可以表示條件或相等性。它使用德布魯因和蘭塔微積分符號。
版本歷史記錄
- 版本 files 發佈於 2010-05-13
若干修復和更新 - 版本 N/A 發佈於 2010-05-13
軟體細節
- 軟體分類： 教育 > 其他
- 發佈者： slc.sf.net
- 軟體性質： 免費
- 價格： N/A
- 版本： Array
- 作業系統： linux
符號 Lambda 微積分是基於 lambda 微積分和組合邏輯的邏輯形式主義，其中只有一種物件，可以表示條件或相等性。它使用德布魯因和蘭塔微積分符號。