藤田 憲悦 | 群馬大学工学部
スポンサーリンク
概要
関連著者
著作論文
- 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)