主要观点：讨论“higher-order references”的含义及相关概念，包括与“higher-order logic”的联系、不同使用场景下的意义变化等，还提及了“general references”及“first-order references”，并提出用“higher-order value references”（HOVR）和“higher-order function reference”（HOFR）来更准确地表达特定含义。
关键信息：

• “higher-order”在“higher-order references”中原本意为对其他引用的量化，现常指对高阶、有副作用函数的引用。
• “general references”包含多种高阶量化形式。
• “first-order references”通常指对零阶值的引用。
• 不同文献中“higher-order references”的含义存在差异和演变。
  重要细节：
• 从高阶逻辑引入“higher-order”概念，其“order”指量词可量化的对象。
• 举例说明了不同阶的值（如零阶值、一阶值等）的特点。
• 指出“higher-order reference”新含义与其他使用场景的差异及混淆。
• 学生 Sean Bocirnea 提出“higher-order value references”（HOVR）和“higher-order function reference”（HOFR）。