瑞克·斯塔特曼 如何将交集类型视为笛卡尔积。 305-312 2016 conf/mfps/2016 MFPS公司 https://doi.org/10.1016/j.entcs.2016.09.045 https://www.wikidata.org/entity/Q113317627 db/journals/entcs/entcs325.html#Statman16a