GoI
Jean-Yves Girard
の
相互作用の幾何学
盲点 (The Blind Spot); "1989 年の GoI"
などを参考に