米歇尔·布格列西;乔治·德尔扎诺;路易吉·利科里;毛里齐奥·马特利 线性逻辑中的对象计算。 （英语） Zbl 0955.68025号 J.日志。计算。 10，第1期，75-104（2000）. 摘要：最近的文献中研究了一些对象计算，它们支持基于对象语言的核心特征：消息、继承、动态调度、对象更新和对象扩展。我们表明，这些特征的完整语义描述可以在高阶线性逻辑片段中给出。 引用于1文件 MSC公司： 68甲19 其他编程范式（面向对象、顺序、并发、自动等） 03B70号 计算机科学中的逻辑 68N17号 逻辑编程 关键词：基于对象的语言;动态调度;对象扩展;高阶线性逻辑 PDF格式BibTeX公司 XML格式引用 \textit{M.Bugliesi}等人，J.Log。计算。10，编号1，75--104（2000；Zbl 0955.68025） 全文： 内政部 哈尔