为系统F建立连续网状模型-存档ouverte HAL
未经修订的条款 理论计算机科学 Anneée:2004年

为系统F构建连续网状模型

斯特凡诺·贝拉迪
  • 功能：奥特尔
  • 人员ID:829783
信息学院[都灵]
香塔尔·柏林
  • 功能：奥特尔
  • 人员ID:829784
Preuves，程序和系统

Résumé

我们在这里提出了一大类非类别环境中的Girard和Reynolds多态性（系统F）的具体模型。该族概括了Barbanera和Berardi模型的构造，因此它包含F的完整模型。它还包含更简单的模型，其中最简单的模型E²是Engeler-Plotkin模型E的二阶变体。这里的所有模型都属于连续语义，所有这些都具有最大数量的多态性映射。该类包含的模型可以被视为两个相互缠绕的兼容无类型lambda-calculus的网状模型，但比这个大得多。最后，它的许多模型可能被解读为两个相互交织的严格交叉类型系统。

与葡萄园

逻辑[math.LO]
菲奇尔校长
小品小品
Berardi-Berline-building-hal.pdf（320.96 Ko） Télé充电器

香塔尔·柏林 : Connectez-vous浇注接触器le contributer

https://hal.science/hal-00003750

Soumis le:lundi 3 janvier 2005年13月36日14分

Dernière修改le:mardi 3 september 2024-13:56:20

长期档案：jeudi 1 avril 2010-16:15:57

Télé充电器倒可视化

日期和版本

hal-00003750， 版本1 (03-01-2005)

身份证明人

  • HAL Id： hal-00003750，版本1

Citer公司

斯特凡诺·贝拉迪（Stefano Berardi）、香塔尔·贝林（Chantal Berline）。为系统F建立连续的网状模型。理论计算机科学2004年第315页，第3-34页。⟨哈尔-00003750⟩

出口商

BibTeX公司 XML-TEI公司 都柏林核心元数据集 DC条款 尾注 数据引用

收藏

UNIV-PARIS7大学 PPS公司 CNRS公司
94 磋商
151 交易费用

合作伙伴

更多