2018年 The Upperbound of the Length of the Reductions in a Subsystem of Girard's F in preparation, 17 pages 秋吉亮太 エクスポート BibTeX RIS