Public Professor Archive
東北大学 · 情報科学研究科 · 教授
研究キーワードソフトウェア基礎科学・プログラミング言語理論・λ計算・セキュリティ・π計算・関数型プログラミング・型システム
ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。
個別の適合理由、連絡角度、保存機能はログイン後に利用できます。
