山形 頼之 | 東京大学数理科学研究科

スポンサーリンク

概要

• 山形 頼之の詳細を見る
• 同名の論文著者
• 東京大学数理科学研究科の論文著者

関連著者

• 山形 頼之

  東京大学数理科学研究科

著作論文

• Strong Normalization of Second Order Symmetric Lambda-mu Calculus (Towards new interaction between category theory and proof theory)

スポンサーリンク