乔治·卡拉查利亚斯；普雷特纳，马蒂亚；阿穆尔·哈尼·萨利赫；斯泰恩·范德哈伦；汤姆·施里杰弗斯 显式效果子类型。 （英语） Zbl 1482.68081号 J.功能。程序。 30，论文编号e15，57 p.（2020）.MSC公司：68甲18 68号30 PDF格式BibTeX公司 XML格式引用 \textit{G.Karachalias}等人，J.Funct。程序。30，论文编号e15，57 p.（2020；Zbl 1482.68081） 全文： 内政部
卢克西奇，扎伊加；普雷特纳，马蒂亚 局部代数效应理论。 （英语） Zbl 1482.68091号 J.功能。程序。 30，论文编号e13，27 p.（2020）.MSC公司：68号30 03B70号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{.Lukšić}和\textit{M.Pretnar}，J.Funct。程序。30，论文编号e13，27 p.（2020；Zbl 1482.68091） 全文： 内政部 arXiv公司
奥哈德·卡玛；普雷特纳，马蒂亚 代数效果和处理程序不需要值限制。 （英语） Zbl 1418.68034号 J.功能。程序。 27，论文编号e7，34 p.（2017）.MSC公司：68甲18 第68季度55 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{O.Kammar}和\textit{M.Pretnar}，J.Funct。程序。27，论文编号e7，34 p.（2017；Zbl 1418.68034） 全文： 内政部 arXiv公司
普雷特纳，马蒂亚 代数效果和处理程序介绍（特邀指导论文）。 （英语） Zbl 1351.68079号 Dan Ghica（编辑），第31届编程语义数学基础会议论文集（MFPS XXXI），荷兰奈梅亨，2015年6月22日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记319，19-35，仅电子版（2015）。MSC公司：68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{M.Pretnar}，电子。注释Theor。计算。科学。319、19-35（2015；Zbl 1351.68079） 全文： 内政部