The Theory of Twiners and Linear Parametricity (Note) (Towards new interaction between category theory and proof theory)
スポンサーリンク
概要
著者
関連論文
- 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