穆申成；赤马森田 推广和对偶第三个链状构象定理：函数珍珠。 （英语） Zbl 1323.68221号 2011年9月19日至21日，第16届ACM SIGPLAN功能编程国际会议记录，ICFP’11，日本东京。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0865-6）。ACM SIGPLAN Notices 46，No.9，385-391（2011）。 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 68甲18 函数编程和lambda演算 68第05页 数据结构 关键词：程序推导；第三列表同态定理 PDF格式BibTeX公司 XML格式引用 \textit{S.-C.Mu}和\textit{A.Morihata}，in：第16届ACM SIGPLAN函数编程国际会议论文集，ICFP'11，日本东京，2011年9月19-21日。纽约州纽约市：计算机协会（ACM）。385--391（2011年；Zbl 1323.68221） 全文： 内政部