马克·贝泽姆;可口、蒂埃里;彼得·戴比杰;马丁·埃斯卡多 关于广义代数理论和具有族的范畴。 (英语) Zbl 07547341号 数学。结构。计算。科学。 31,第9期,1006-1023(2021).MSC公司:03B38型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bezem}等人,《数学》。结构。计算。科学。31,第9号,1006--1023(2021;Zbl 07547341) 全文: 内政部 arXiv公司
马克·贝泽姆;达格·霍夫兰;黄忠 用于计算软件组件实例的类型系统。 (英语) 兹比尔1252.68201 西奥。计算。科学。 458, 29-48 (2012).MSC公司:68问题85 68问题55 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Bezem}等人,Theor。计算。科学。458,29-48(2012;Zbl 1252.68201) 全文: 内政部