型付きマインドマップに基づく完全な視覚的表現を導入し、純粋な型指定されていないラムダ計算機VLMの計算ステップを表します。
バージョン履歴
- バージョン bin に転記 2008-10-24
いくつかの修正と更新 - バージョン N/A に転記 2008-10-24
プログラムの詳細
- カテゴリ: 開発 > 他
- パブリッシャー: vlcmm.sf.net
- ライセンス: 無料
- 価格: N/A
- バージョン: Array
- プラットフォーム: windows
型付きマインドマップに基づく完全な視覚的表現を導入し、純粋な型指定されていないラムダ計算機VLMの計算ステップを表します。