默多克·J·加贝。;安德鲁·皮特斯（Andrew M.Pitts）。 使用变量绑定实现抽象语法的新方法。 （英语） Zbl 1001.68083号 正式Asp。计算。 13，编号3-5341-363（2002）. 引用于4评论引用于146文件 理学硕士： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 1999年3月 集合论 18B20型 机器、自动机的类别 关键词：抽象语法;字母转换;置换作用;集合论;结构归纳法 软件：伊莎贝尔 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay}和\textit{A.M.Pitts}，正式Asp。计算。13、编号3--5、341--363（2002；Zbl 1001.68083） 全文： 内政部