Rick Statman：如何将交集类型视为笛卡尔积。(2016) 日记账/entcs/Statman16a 2016年10月10日/J.ENTCS.2016.09.045 问题11317627 如何将交集类型视为笛卡尔积。 1 瑞克·斯塔特曼 1 305-312 MFPS公司 MFPS公司 2016 2016 dblp记录“journals/entcs/Statman16a”的RDF数据的来源信息 2022-08-16T23:07:15+0200