On fine structures between Church-style and Curry-style $\lamnda$2-terms (Proof theory and complexity)

スポンサーリンク

概要

• 論文の詳細を見る
• 2013-04-00

著者

• 藤田 憲悦

  群馬大学工学部

関連論文

• A sound and complete CPS-translation for $\lambda\mu$-calculus : Extended abstract (Algebra, Languages and Computation)
• On fine structures between Church-style and Curry-style $\lamnda$2-terms (Proof theory and complexity)

スポンサーリンク