Mikiβ デモページ

• Mikiβのデモ

あらかじめ作られている体系

• SK論理 (sk)
• SK+IBCWB'C*論理 (sk_plus)
• 自然演繹の最小論理 NM (nm)
• NM + efq, dne, cm, cm*, raa¬, raa*¬, dni,con1~con4 (nm_plus)
• 単純型付きラムダ計算 (lambda_calculus)
• shift/reset 付き単純型付きラムダ計算 (shift_reset)
• control/prompt 付き単純型付きラムダ計算 (control_prompt)
• 4種の限定継続付き単純型付きラムダ計算 (4typeControlOperatoes)