さらに勢いで↓これの続き。 cut-elimination.hatenablog.com 今回はJean-Baptiste Joinet, Thomas Seiller "From abstraction and indiscernibility to classification and types: revisiting Hermann Weyl’s theory of ideal elements"という論文をちょっと紹介。 www.jstage.jst.go.jp Joinet先生は線形論理の世界では昔から有名なベテランである。Seiller先生は前にも論文を紹介したが、GoI(相互作…