曼弗雷德·施密特·沙乌;大卫·萨贝尔 类型化概率按需调用函数语言中的程序等价性。 （英语） Zbl 07741963号 J.日志。阿尔盖布。方法计划。 135，文章ID 100904，18 p.（2023）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}和\textit{D.Sabel}，J.Log。阿尔盖布。方法计划。135，文章ID 100904，18 p.（2023；Zbl 07741963） 全文： 内政部
曼弗雷德·施密特·沙乌;大卫·萨贝尔;约阿希姆·尼伦;施温哈默（Jan Schwinghammer） 观察程序计算和翻译的正确性。 （英语） Zbl 1309.68052号 西奥。计算。科学。 577, 98-124 (2015).MSC公司：68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}等人，Theor。计算。科学。577、98——124（2015年；Zbl 1309.68052） 全文： 内政部 哈尔
曼弗雷德·施密特·沙乌;大卫·萨贝尔 call-by-nead和call-by-name多态型结石的上下文等效性（初步报告）。 （英语） Zbl 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） 全文： 内政部
大卫·萨贝尔;曼弗雷德·施密特·沙乌 允许部分函数的严格函数程序属性的二值逻辑。 （英语） Zbl 1267.68088号 J.汽车。推理 50，第4期，383-421（2013）.MSC公司：68甲18 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Sabel}和\textit{M.Schmidt-Schau}，J.Autom。推理50，No.4，383--421（2013；Zbl 1267.68088） 全文： 内政部
曼弗雷德·施密特·沙乌;大卫·萨贝尔;埃琳娜·马奇卡索娃 使用letrec对非确定性call-by-need lambda-calculi中的应用模拟和扩展性进行反例。 （英语） Zbl 1260.68075号 信息处理。莱特。 111，第14号，711-716（2011）.MSC公司：68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}等人，《Inf.过程》。莱特。111，第14号，711--716（2011；Zbl 1260.68075） 全文： 内政部
马蒂亚斯·曼恩;曼弗雷德·施密特·沙乌 相似性意味着在一类非确定的按需调用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） 全文： 内政部