New foundations for the geometry of interaction

[1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science Pub Date : 1992-06-22 DOI:10.1109/LICS.1992.185534

S. Abramsky, R. Jagadeesan

引用次数: 138

Abstract

A new formal embodiment of J.-Y. Girard's (1989) geometry of interaction program is given. The geometry of interaction interpretation considered is defined, and the computational interpretation is sketched in terms of dataflow nets. Some examples that illustrate the key ideas underlying the interpretation are given. The results, which include the semantic analogue of cut-elimination, stated in terms of a finite convergence property, are outlined.<>

查看原文本刊更多论文

相互作用几何的新基础

j - y的新形式体现。给出了Girard(1989)的交互程序几何。定义了所考虑的交互解释的几何结构，并根据数据流网络对计算解释进行了概述。给出了一些例子来说明解释背后的关键思想。结果，其中包括截断消去的语义模拟，在有限收敛性质的条件下，概述。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

[1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science

自引率

0.00%

发文量