机译:标称技术的基础:抽象语法中变量的逻辑和语义
Alpha-equivalence; Atoms-abstraction; Inductive syntax up to binding; Logic and set theory; Names; Nominal abstract syntax; Nominal techniques; Variable binding;
机译:标称技术的基础:抽象语法中变量的逻辑和语义
机译:键化广义草图的变量集语义:用于对象标识的形式语义和用于概念建模的抽象语法
机译:新鲜逻辑:FM和名义技术的证明理论和语义
机译:具有逻辑变量的高阶函数语言的抽象语义
机译:关于韩国名词粒子的语法/语义
机译:数字解剖学家基础模型的基于逻辑的重塑
机译:名义技术的基础:抽象语法中变量的逻辑和语义