プログラム vlcmm.sf.net

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