...
机译:从PNL到HOL:从标称集的逻辑到高阶函数的逻辑
Permissive-nominal logic; Higher-order logic; Nominal sets; Nominal renaming sets; Mathematical foundations of programming;
机译:从PNL到HOL:从标称集的逻辑到高阶函数的逻辑
机译:使用单电子阈值逻辑门和混合SET-MOS电路的逻辑功能的实现方面
机译:使用允许名词性术语和集合进行逻辑和证明搜索的量词
机译:高阶懒惰缩小微积分:高阶功能逻辑语言的计算模型
机译:高阶功能语言和内涵逻辑。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:从PNL到HOL:从标称集的逻辑到高阶函数的逻辑
机译:基于Lambda-Calculus和集抽象的实用高阶泛函和逻辑程序设计