曼弗雷德·施密特·沙乌;大卫·萨贝尔 call-by-nead和call-by-name多态型结石的上下文等效性（初步报告）。 （英文） 兹比尔1428.68113 Schmidt Schauß，Manfred（ed.）等人，第一届程序转换和评估重写技术国际研讨会，WPTE’14，奥地利维也纳，2014年7月13日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。40, 63-74 (2014).MSC公司：68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}和\textit{D.Sabel}，OASIcs--开放存取服务。通知。40、63-74（2014年；Zbl 1428.68113） 全文： 内政部
马蒂亚斯·曼恩;曼弗雷德·施密特·沙乌 相似性意味着在一类非确定的按需调用lambda计算中等价。 （英文） Zbl 1187.68129号 Inf.计算。 208，第3期，276-291（2010）.MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Mann}和\textit{M.Schmidt-Schauß}，Inf.Compute。208，第3号，276--291（2010；Zbl 1187.68129） 全文： 内政部