Embedding into Wreath Product and the Yoneda Lemma (Algebra, Logic and Geometry in Informatics)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 長谷川 立

  東京大学数理科学研究科

関連論文

• 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

スポンサーリンク