约翰·雷诺兹（John C.Reynolds）。 多态性不是集合理论。 （英语） Zbl 0554.03012号 数据类型语义，Proc。国际交响乐团。，Sophia-Antipolis/法国1984年，Lect。注释计算。科学。173, 145-156 (1984). [关于整个系列，请参见Zbl 0534.00019号.]多态或二阶类型lambda演算是类型lambda-演算的扩展，涉及对类型化变量的抽象，其中可以定义多态（即多类型）函数。作者推测，通过将多态函数限制为Strachy意义上的“参数多态”，普通类型lambda演算的标准集合论模型可能会扩展到多态系统的模型。他在本文中指出，独立于“参数”的特定定义，集合论模型的存在导致集合P和（P到B）到B的同构。由于这些集合的基数不同，这是不可能的，因此不存在这样的模型。本文清楚地概述了多态型lambda演算的语法，以及假定任何此类集合论模型都要满足的条件的清晰列表。审核人：M.W.邦德 引用于三评论引用于43文件 MSC公司： 03B40型 组合逻辑与lambda演算 03C55号 集合理论模型理论 03C65号 其他数学理论模型 关键词：多态lambda演算;集合论模型 引文：Zbl 0534.00019号 PDF格式BibTeX公司 XML格式