Institution中自由理论态射的合成

出版物
软件学报