资源交互的几何学--最简方案
Geometry of Resource Interaction - A Minimalist Approach
摘要：
资源$λ$ -演算是$λ$ -演算的变体，其中参数可以叠加并且必须线性使用。因此，它是线性和非确定性程序设计语言的模型，也是$λ$项的Ehrhard-Taylor展开的目标语言。在一个严格类型的限制资源$λ$演算，我们研究了路径持久性的概念，我们定义了一个几何的相互作用的特点，是不变的减少，并计数附着在范式。
英文摘要：
The Resource $λ$-calculus is a variation of the $λ$-calculus where arguments can be superposed and must be linearly used. Hence it is a model for linear and non-deterministic programming languages, and the target language of Ehrhard-Taylor expansion of $λ$-terms. In a strictly typed restriction of the Resource $λ$-calculus, we study the notion of path persistence, and we define a Geometry of Interaction that characterises it, is invariant under reduction, and counts addends in normal forms.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
