埃里克·芬斯特 安托万·阿利乌克斯 马蒂厄·索佐 类型是内部∞-群胚。 1月13日 2021 许可证 https://doi.org/10.109/LICS52264.2021.9470541 conf/lics/2021 db/conf/lics/lics2021.html#FinsterAS21