罗伯特·艾奇（编辑）;尼拉坎坦克里希纳斯瓦米（编辑） 2016年4月8日，荷兰埃因霍温，MSFP，第六届数学结构函数编程研讨会论文集。 （英语） Zbl 1446.68005号 理论计算机科学电子论文集（EPTCS）207.滑铁卢：开放出版协会（OPA）。第98页。，仅电子版，开放存取（2016年）。 将索引文章显示为搜索结果。 引言：本卷包含2016年4月8日在荷兰埃因霍温举行的第六届数学结构函数编程研讨会（MSFP 2016）的会议记录，该研讨会是欧洲软件理论与实践联合会议（ETAPS 2016）的附属活动。本卷的文章将单独进行审查。有关前面的研讨会，请参阅[Zbl 1446.68015号].索引文章：松冈佐治，线性lambda演算上的强型Böhm定理和函数完备性，1-22[Zbl 1486.03033号]马西耶·皮罗格，Eilenberg-Moore幺半群和回溯单子变换，23-56[Zbl 1477.18013号]Klin，Bartek；Micha Szynwelski，无限结构上函数编程的SMT求解，57-75[Zbl 1477.68072号]丹尼斯·费尔索夫；塔尔莫乌斯塔卢；尼科洛·维尔特里《Noetherianess变奏曲》，76-88[Zbl 1477.68070号]Danel Ahman；塔尔莫乌斯塔卢，定向容器作为类别，89-98[Zbl 1477.68169号] 引用于1审查 MSC公司： 68-06 与计算机科学有关的论文集、会议、文集等 68甲18 函数编程和lambda演算 00B25型 杂项特定利益的会议记录 引文：Zbl 1446.68015号 PDF格式BibTeX公司 XML格式引用 \textit{R.Atkey}（ed.）和\textit{N.Krishnaswami}（edi.），数学结构函数编程第六次研讨会论文集，2016年MSFP，荷兰埃因霍温，2016年4月8日。滑铁卢：开放出版协会（OPA）（2016；Zbl 1446.68005） 全文： 内政部 arXiv公司 链接