西蒙娜·莫托尼亚 \（F）-有界量化和匹配关系。 （英文） Zbl 1118.68412号 Babeș-Bolyai大学学生，Inform。 44，第2期，16-22页（1999年）. 摘要：引入F有界多态性已被证明在面向对象语言的规范中有很大的好处，这里还介绍了最重要的一个，关于二进制方法和递归定义。然后，基于匹配关系出现了许多其他系统，如PolyTOIL，我们证明了（F）-有界量化和匹配关系是等价的。 MSC公司： 第68页第19页 其他编程范式（面向对象、顺序、并发、自动等） 软件：PolyTOIL公司 PDF格式BibTeX公司 XML格式引用 \textit{S.Motogna}，Stud.University Babeș-Bolyai，Inform（博莱艾）。44，第2号，16--22（1999；Zbl 1118.68412）