APPLICATION
教授マッチング
Public Professor Archive
京都大学 · 数理解析研究所 · 教授
京都大学 · 数理解析研究所 · 教授
研究キーワードlambda calculus・category theory・traced monoidal categories・delimited continuations・graph rewriting・quantum semantics
ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。