We consider an object calculus in which open terms interact with the environment through interfaces. The calculus is intended to capture the essence of contextual interactions of Middleweight Java code. Using game semantics, we provide fully abstract models for the induced notions of contextual approximation and equivalence. These are the first denotational models of this kind.

中文翻译：

---

接口中量级 Java 的游戏语义

我们考虑一个对象演算，其中开放项通过接口与环境交互。该演算旨在捕捉中量级 Java 代码的上下文交互的本质。使用游戏语义，我们为上下文近似和等价的诱导概念提供完全抽象的模型。这些是这种类型的第一个指称模型。