binders; alpha-equivalence; recursion; types;
机译:两级名词集和语义名词术语:处理元变量的名词集理论的扩展
机译:标称过渡系统的模态逻辑
机译:事实是具有50 Hz标称频率的智能牵引电源系统的基础
机译:委内瑞拉互联电力系统低频自动负荷抑制和面积断开系统的性能下偏向义条件
机译:解决嵌入式系统需求中的标称行为。
机译:基于计算机的系统是否可以帮助医学遗传学研究人员在不操纵名义数据的情况下进行家族研究?
机译:计数质量区分和标称系统中的数字表达式