Carleton University, Ottawa ON K1S 5B6, Canada;
机译:机械化语法分析在Isabelle / HOL中充分演算n演算
机译:接下来的700个挑战问题,涉及使用高阶抽象语法表示进行推理
机译:高阶抽象语法表示法在推理中的下700个挑战问题,第2-A部分调查
机译:Isabelle / Hol中的高阶摘要语法
机译:经验证的功能程序编译的高阶抽象语法方法。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:在ATS中将高阶抽象语法与一阶抽象语法相结合