Jonathan Sterling和Carlo Angiuli：立方型理论的规范化。(2021) conf/lics/斯特林A21 10.1109/LICS52264.2021.9470719 立方型理论的规范化。 2 乔纳森·斯特林 1 卡洛·安吉利 2 1-15 低收入国家 低收入国家 2021 2021 dblp记录“conf/lics/SterlingA21”的RDF数据的来源信息 2022-04-09时间12:35:12+0200