シンボリックラムダ微積分はラムダ微積分と結合論理に基づく論理形式主義であり、用語または等値を表すことができるオブジェクトの種類は 1 つだけです。これは、de Bruijnのとラムダ微積分表記法を使用しています。
バージョン履歴
- バージョン files に転記 2010-05-13
いくつかの修正と更新 - バージョン N/A に転記 2010-05-13
プログラムの詳細
- カテゴリ: 教育 > 他
- パブリッシャー: slc.sf.net
- ライセンス: 無料
- 価格: N/A
- バージョン: Array
- プラットフォーム: linux