拉尔夫·马提斯 内涵类型理论中嵌套数据类型的地图融合。 (英语) Zbl 1210.68048号 科学。计算。程序。 76,第3期,204-224(2011).MSC公司:68甲18 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{R.Matthes},科学。计算。程序。76,第3号,204--224(2011;Zbl 1210.68048) 全文: DOI程序
朱尔斯·德沙奈斯;乔治·斯特鲁斯 域半环的内部公理。 (英语) Zbl 1211.68242号 科学。计算。程序。 76,第3期,181-203(2011).MSC公司:68问题55 03B45号 03G25号 2016年60月 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Desharnais}和\textit{G.Struth},科学。计算。程序。76,第3号,181--203(2011;Zbl 1211.68242) 全文: DOI程序
罗兰·巴克豪斯;费雷拉,乔昂·F·。 关于欧几里德算法和初等数论。 (英语) Zbl 1246.11187号 科学。计算。程序。 76,第3160-180号(2011年).MSC公司:2016年11月 2005年11月 PDF格式BibTeX公司 XML格式引用 \textit{R.Backhouse}和\textit{J.F.Ferreira},科学。计算。程序。76,第3号,160--180(2011;Zbl 1246.11187) 全文: DOI程序 arXiv公司
菲利普·奥德巴德(编辑);克里斯汀·保林·莫林(编辑) 专刊:《程序构造的数学》(MPC 2008)。根据2008年7月在法国鲁米尼举行的第九届国际会议上的发言选出的论文。 (英语) Zbl 1213.68023号 科学。计算。程序。76,第3期,159-224(2011)。 MSC公司:68-06 68N99型 00B25型 PDF格式BibTeX公司 XML格式