走向精致的舞蹈

我们在编舞的背景下研究精细化。我们引入了可重新定义的全局编舞，允许协议的未指定，其交互可以细化为实际的协议。任意的改进可能会破坏格式良好性，即保证协议可实现的充分条件。我们引入了一种打字规则，它加强了打字编排的规范性。然后，我们根据公理方案揭示了可加细舞蹈及其可容许细化之间的关系。