Inductive and coinductive types; equational programs; intrinsic theories; global model theory;
机译:用于归纳和共归计算的全局语义类型
机译:用于归纳和共归计算的全局语义类型
机译:归纳和共归类型的按值调用和按名称调用对偶计算
机译:电感和配合计算的全局语义键入
机译:使用感应耦合等离子光发射光谱法和感应耦合等离子质谱法生成的元素轮廓来区分纸张类型。
机译:标签共现和语义相似度对儿童归纳概括的影响
机译:归纳和共感计算的全局语义分类
机译:用感应和共感类型编程