迪伦·麦克德莫特;塔尔莫乌斯塔卢 是什么造就了一个强大的单子？ （英语） Zbl 07779295号 Jeremy Gibbons等人，《数学结构函数编程第九次研讨会论文集》，MSFP 2022，德国慕尼黑，2022年4月2日。滑铁卢：开放出版协会（OPA）。电子。程序。理论。计算。科学。（EPTCS）360、113-133（2022）。MSC公司：68倍 2018年XX月18日 PDF格式BibTeX公司 XML格式引用 \textit{D.Mcdermott}和\textit{T.Uustalu}，电子。程序。理论。计算。科学。（EPTCS）360、113--133（2022；Zbl 07779295） 全文： arXiv公司 链接
马塞洛·菲奥雷;菲利普·萨维尔 列出具有代数结构的对象。 （英语） Zbl 1441.68016号 Miller，Dale（编辑），第二届计算和推导形式结构国际会议。FSCD 2017，英国牛津，2017年9月3-9日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。84，第16条，第18页（2017年）。MSC公司：68甲18 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit｛M.Fiore｝和\textit｛P.Saville｝，LIPIcs——莱布尼茨国际期刊。通知。84，第16条，第18页（2017；Zbl 1441.68016） 全文： 内政部
马西耶·皮罗格;萨姆·斯塔顿 通过分配律和左零幺半群用割进行回溯。 （英语） Zbl 1418.68063号 J.功能。程序。 27，论文编号e17，15 p.（2017）.MSC公司：68号30 08A70型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Piróg}和\textit{S.Staton}，J.Funct。程序。27，论文编号e17，15 p.（2017；Zbl 1418.68063） 全文： 内政部