线性逻辑中的对象演算-归档ouverte HAL
第三条Dans Une Revue 逻辑与计算杂志 安妮：2000

线性逻辑中的对象计算

Résumé

最近的文献中研究了一些对象计算，这些计算支持基于对象语言的核心特性：消息、继承、动态调度、对象更新和对象扩展。我们表明，这些特征的完整语义描述可以在高阶线性逻辑片段中给出。

Mots clés公司

逻辑程序设计 对象计算 线性逻辑

与葡萄园

信息与语言[cs.CL] 信息逻辑[cs.LO]
菲奇尔校长
小品小品
2000-jlc-00.pdf（472.47 Ko） 特勒充电器
原籍 菲奇尔斯（Fichiers）出品的par l’（les）auteur（s）

路易吉·利科里 : Connectez-vous浇注接触器le contributer

https://inria.hal.science/hal-01152636

Soumis le:lundi 18 mai 2015-12:49:56

Dernière修改日期：2024-12:45:53年3月27日

长期档案：jeudi 20 avril 2017-01:22:20

Télé充电器倒可视化

日期和版本

hal-01152636， 版本1 (18-05-2015)

身份证明人

Citer公司

米歇尔·布格列西、乔治·德尔扎诺、路易吉·利科里、毛里齐奥·马泰利。线性逻辑中的对象计算。逻辑与计算杂志2000年，第10（1）页，第75-104页。⟨10.1093/logcom/10.1.75⟩.⟨哈尔-01152636⟩

出口商

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

收藏

印度 UNIV-LORAINE公司 INRIA2公司
138 磋商
186 交易费用

海拔高度

合作伙伴

更多