長谷川 立 | 東京大学数理科学研究科

スポンサーリンク

概要

• 長谷川 立の詳細を見る
• 同名の論文著者
• 東京大学数理科学研究科の論文著者

関連著者

• 長谷川 立

  東京大学数理科学研究科

• 長谷川 立

  東京大学大学院数理科学研究所

著作論文

• Embedding into Wreath Product and the Yoneda Lemma (Algebra, Logic and Geometry in Informatics)
• パラメトリック・ポリモルフィズム
• Transducers as Discrete Twiners (Sequent Calculi and Proof Theory)
• The Theory of Twiners and Linear Parametricity (Note) (Towards new interaction between category theory and proof theory)
• Lagrange-Good Inversion from Trace

スポンサーリンク