APPLICATION
教授マッチング
Public Professor Archive
筑波大学 · システム情報系 · 教授
筑波大学 · システム情報系 · 教授
研究キーワードcalculus with tag abstractions・catch/throw calculus with tag・abstractions and its strong・tag abstractions and its・its strong normalizability・classical catch/throw calculus・delimited continuations・control operators
ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。