毛里西奥Ayala Rincón;爱德华多·博内利;胡安·埃迪;安德烈斯·维索 类型化路径多态性。 （英语） Zbl 1423.68089号 西奥。计算。科学。 781, 111-130 (2019).MSC公司：68甲18 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala-Rincón}等人，Theor。计算。科学。78111-130（2019年；Zbl 1423.68089） 全文： 内政部
安德烈斯·维索;爱德华多·博内利;毛里西奥Ayala Rincón 路径多态性的类型稳健性。 （英语） Zbl 1390.68170号 Benevides，Mario（ed.）等人，《逻辑和语义框架及其应用第十次研讨会论文集》（LSFA 2015），巴西纳塔尔，2015年8月31日至9月1日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记323，235-251（2016）。MSC公司：68甲18 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{A.Viso}等人，《电子》。注释Theor。计算。科学。323235-251（2016；Zbl 1390.68170） 全文： 内政部 arXiv公司
弗拉维奥·德·莫拉。;巴尔博萨，A.V。;阿亚拉·林科，M。;卡马雷丁，F。 一个灵活的框架，用于可视化一般显式替换计算的计算特性。 （英语） 兹比尔1347.68058 爱德华·赫尔曼（Edward Hermann）等，《逻辑和语义框架及其应用第五次研讨会论文集》（LSFA 2010），巴西纳塔尔，2010年8月31日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记269，41-54（2011）。MSC公司：68甲18 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.L.C.de Moura}等人，电子。注释Theor。计算。科学。269、41-54（2011年；Zbl 1347.68058） 全文： 内政部
弗拉维奥·德·莫拉。;毛里西奥Ayala Rincón;法鲁兹卡马雷丁 高阶统一：休特方法和基于显式替换的方法之间的结构关系。 （英语） Zbl 1138.03014号 J.应用。日志。 6，第1期，72-108（2008）.MSC公司：03B40型 03B25号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{F.L.C.de Moura}等人，J.Appl。日志。6、编号1、72--108（2008；Zbl 1138.03014） 全文： 内政部
德莫拉，F.L.C。;阿亚拉·林科，M。;卡马雷丁，F。 SUBSEXPL：用于模拟和比较显式替换计算的工具。 （英语） Zbl 1184.68469号 J.应用。非类别。日志。 16，编号1-2，119-150（2006）.MSC公司：68吨15 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{F.L.C.de Moura}等人，J.Appl。非类别。日志。16，编号1-2119-150（2006年；兹bl 1184.68469） 全文： 内政部
毛里西奥Ayala Rincón;弗拉维奥·莫拉。;法鲁兹卡马雷丁 比较并实现显式替换和eta还原的计算。 （英语） Zbl 1067.03042号 Ann.纯粹应用。逻辑 134，第1期，第5-41页（2005年）.MSC公司：03B70号 03B40型 68甲18 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala-Rincón}等人，Ann.Pure Appl。逻辑134，No.1，5--41（2005；Zbl 1067.03042） 全文： 内政部
毛里西奥Ayala Rincón;弗拉维奥·德·莫拉。;法鲁兹卡马雷丁 比较显性替代和eta还原的计算。 （英语） Zbl 1261.03071号 de Queiroz，Ruy（编辑）等人，WoLLIC’2002。2002年7月30日至8月2日，巴西里约热内卢，巴西里约热内卢，里约热内卢天主教大学，第九届逻辑、语言、信息和计算研讨会论文集。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记67，76-95（2002）。MSC公司：03B40型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala-Rincón}等人，《电子》。注释Theor。计算。科学。67、76-95（2002年；Zbl 1261.03071） 全文： 内政部