Visual Lambda Calculator with Mind Maps

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 4.5/5 - ‎2 ‎投票

型付きマインドマップに基づく完全な視覚的表現を導入し、純粋な型指定されていないラムダ計算機VLMの計算ステップを表します。

バージョン履歴

  • バージョン bin に転記 2008-10-24
    いくつかの修正と更新
  • バージョン N/A に転記 2008-10-24

プログラムの詳細

  • カテゴリ: 開発 >
  • パブリッシャー: vlcmm.sf.net
  • ライセンス: 無料
  • 価格: N/A
  • バージョン: Array
  • プラットフォーム: windows