乌尔里希·伯杰;拉尔夫·马提斯;安东·塞泽尔 马丁·霍夫曼关于非严格正数据类型的案例。 （英语） Zbl 07561486号 Dybjer，Peter（编辑）等人，第24届国际校样和程序类型会议，2018年types 2018，葡萄牙布拉加，2018年6月18-21日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。130，第1条，第22页（2019年）。MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \textit{U.Berger}等人，LIPIcs——莱布尼茨国际程序。通知。130，第1条，第22页（2019年；Zbl 07561486） 全文： 内政部
多米尼克·拉切·温德林（Dominique Larchey-Wendling）;拉尔夫·马提斯 通过提取验证宽度优先算法。 （英语） Zbl 1434.68090号 Hutton，Graham（编辑），《程序构造的数学》。2019年10月7日至9日在葡萄牙波尔图举行的MPC 2019第13届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11825, 45-75 (2019).MSC公司：68甲18 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{D.Larchey-Wendling}和\textit{R.Matthes}，莱克特。注释计算。科学。11825、45-75（2019年；Zbl 1434.68090） 全文： 内政部 哈尔
阿伦斯，贝内迪克特;拉尔夫·马提斯;安德斯·莫特伯格 从签名到单子大学数学. （英语） Zbl 1468.03007号 J.汽车。推理 63，第2期，285-318（2019）.MSC公司：03B35型 03B38型 18立方厘米 18立方厘米 55单位35 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Ahrens}等人，J.Autom。推理63，No.2，285--318（2019；Zbl 1468.03007） 全文： 内政部 arXiv公司
阿伦斯，贝内迪克特;拉尔夫·马提斯 重新审视异质替代系统。 （英语） Zbl 1433.68220号 Uustalu，Tarmo（编辑），第21届国际校样和程序类型会议，2015年5月18日至21日，爱沙尼亚塔林。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。69，第2条，第23页（2018年）。MSC公司：68问题65 18 C50 68伏15 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Ahrens}和\textit{R.Matthes}，LIPIcs——莱布尼茨国际程序。通知。69，第2条，23 p.（2018；Zbl 1433.68220） 全文： 内政部 arXiv公司
拉尔夫·马修斯;西莉亚·皮卡德 使用共约法验证无限三角矩阵的重新修饰。 （英语） Zbl 1354.68184号 Danielsson，Nils Anders（编辑）等人，第18届国际校样和程序类型研讨会。研讨会论文（类型2011），挪威卑尔根，2011年9月8日至11日。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-49-1）。LIPIcs–莱布尼茨国际信息学会议录19，55-69（2013）。MSC公司：68问题65 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{R.Matthes}和\textit{C.Picard}，LIPIcs——莱布尼茨国际程序。通知。19，55-69（2013年；兹bl 1354.68184） 全文： 内政部
西莉亚·皮卡德;拉尔夫·马提斯 共导图表示中的置换。 （英语） Zbl 1327.68205号 Pattinson，Dirk（编辑）等人，《计算机科学中的协同代数方法》。2012年3月31日至4月1日，爱沙尼亚塔林，CMCS 2012第11届国际研讨会，与ETAPS 2012联合举办。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-32783-4/pbk）。计算机科学课堂讲稿7399，218-237（2012）。MSC公司：第68页第15页 05C62号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{C.Picard}和\textit{R.Matthes}，莱克特。注释计算。科学。7399，218--237（2012；Zbl 1327.68205） 全文： 内政部
拉尔夫·马提斯 内涵类型理论中嵌套数据类型的地图融合。 （英语） 兹比尔1210.68048 科学。计算。程序。 76，第3期，204-224（2011）.MSC公司：68甲18 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{R.Matthes}，科学。计算。程序。76，编号3204-224（2011年；兹bl 1210.68048） 全文： 内政部
拉尔夫·马提斯 内涵类型理论中嵌套数据类型的归纳原理。 （英语） 兹比尔1191.68164 J.功能。程序。 19，编号3-4，439-468（2009）.MSC公司：68甲18 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{R.Matthes}，J.Funct（J·芬克）。程序。19，编号3--4，439--468（2009；Zbl 1191.68164） 全文： 内政部
拉尔夫·马提斯 带广义Mendler迭代的嵌套数据类型：地图融合和带显式扁平化的无类型lambda演算表示示例。 （英语） Zbl 1156.68483号 Audebaud，Philippe（编辑）等，《程序构造的数学》。2008年7月15日至18日，第九届国际会议，MPC 2008，法国马赛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70593-2/pbk）。计算机科学课堂讲稿5133，220-242（2008）。MSC公司：68问题65 68甲18 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Matthes}，莱克特。注释计算。科学。5133、220--242（2008年；Zbl 1156.68483） 全文： 内政部
拉尔夫·马提斯 依赖类型理论中嵌套数据类型的递归。 （英语） Zbl 1142.68441号 Beckmann，Arnold（编辑）等人，《逻辑与算法理论》。第四届欧洲可计算性会议，2008年6月15日至20日，希腊雅典，CiE 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69405-2/pbk）。计算机科学课堂讲稿5028431-446（2008）。MSC公司：68问题65 03B70号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{R.Matthes}，莱克特。注释计算。科学。5028431--446（2008年；Zbl 1142.68441） 全文： 内政部
拉尔夫·马提斯;马丁·斯特雷克 三角矩阵重新修饰算法的验证。 （英语） Zbl 1138.68527号 Miculan，Marino（编辑）等人，《证明和程序的类型》。2007年5月2日至5日，国际会议，类型2007，意大利弗留利市。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-68084-0/pbk）。计算机科学课堂讲稿4941125-141（2008）。MSC公司：第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{R.Matthes}和\textit{M.Strecker}，莱克特。注释计算。科学。4941、125--141（2008年；Zbl 1138.68527） 全文： 内政部
拉尔夫·马提斯 迭代幂的数据结构。 （英语） Zbl 1235.68062号 Uustalu，Tarmo（编辑），《程序构建的数学》。2006年7月3日至5日，爱沙尼亚库雷萨雷，第八届国际会议，MPC 2006。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-35631-8/pbk）。计算机科学课堂讲稿4014299-315（2006）。MSC公司：68第05页 PDF格式BibTeX公司 XML格式引用 \textit{R.Matthes}，莱克特。注释计算。科学。4014299-315（2006年；Zbl 1235.68062） 全文： 内政部