我的阅读状态 （保存写回仓库，全设备同步；首次保存需输入访问令牌）

AI 速览

一句话：2019年LICS Test-of-Time Award表彰1999年两篇关于带绑定变量抽象语法的开创性论文。

本条为 LICS 1999 Test-of-Time Award 的颁奖引文，记录 2019 年将该奖授予 1999 年在意大利 Trento 举行的 IEEE 逻辑在计算机科学研讨会（LICS）上的两篇杰出论文：Gabbay 与 Pitts 的 “A New Approach to Abstract Syntax Involving Binders”，以及 Fiore、Plotkin 与 Turi 的 “Abstract Syntax and Variable Binding”。两篇论文均聚焦带绑定结构的抽象语法与变量绑定，属逻辑与计算机科学交叉的基础性工作。引文还列出评奖委员会成员：Thomas Ehrhard、Frank Pfenning（主席）与 Davide Sangiorgi。

问题

该引文旨在记录并说明 2019 年 LICS Test-of-Time Award 的获奖论文与评奖委员会；相关获奖工作研究带绑定变量的抽象语法这一基础问题。

方法

以颁奖引文形式列出两篇来自 LICS 1999 的获奖论文、作者及评奖委员会名单。

评估

引文本身不含实验评估；其认可方式是 LICS 社区的 Test-of-Time Award，旨在肯定这些论文的长期学术影响。

链接与引用

DOI 原文 · PDF（开放获取） ·

@inproceedings{paperbot4997,
  title = {Citation for the Test-of-Time Award from LICS 1999},
  author = {},
  booktitle = {LICS},
  year = {2019},
  doi = {10.1109/lics.2019.8785755}
}