丹·波帕 适应性软件–Haskell中的模块化可扩展的单子入口无点类型检查器。 (英语) Zbl 1249.68035号 科学。螺柱研究,序列号。数学。通知。 21,第1期,193-204(2011).MSC公司:68号30 68甲18 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Popa},科学。螺柱研究,序列号。数学。通知。21,第1号,193--204(2011;Zbl 1249.68035)
Mitrofan M.乔班。;伊奥·瓦鲁。 双度量空间、时空和数学。方法学问题。 (英语) Zbl 1243.54001号 科学。螺柱研究,序列号。数学。通知。 21,第1期,第83-102页(2011年).MSC公司:54-03 83年03月 01A05号 03A05号 54E35个 54E55型 57N16号 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Cioban}和\textit{I.I.Valu,科学。螺柱研究,序列号。数学。通知。21,第1号,第83-102条(2011;Zbl 1243.54001)