Which Structural Rules Admit Cut Elimination? : An Algebraic Criterion : Excerpt (Proof Theory and Computation Theory)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 照井 一成

  国立情報学研究所

関連論文

• Semantic Characterizations for Reachability and Trace Equivalence in a Linear Logic-Based Process Calculus : Preliminary Report
• 線形論理の誕生(数学基礎論とその応用)
• Which Structural Rules Admit Cut Elimination? : An Algebraic Criterion : Excerpt (Proof Theory and Computation Theory)
• 計算の世界へようこそ (特集 計算とは何か)

スポンサーリンク