slc

軟體性質: 免費 ‎檔案大小: N/A
‎使用者評分: 5.0/5 - ‎1 ‎評分

關於 slc

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