intuitionistic S4; call-by-name; call-by-value; comonadic lambda-calculus; standardization; indifference property;
机译:模态嵌入和调用范例
机译:跨两个嵌入式车辆系统对语音和手动电话呼叫以及语音导航输入的道路需求进行多模式评估
机译:“手指指向和呼叫”对任务切换范例中的认知控制过程的影响
机译:莫代尔嵌入和呼叫范式
机译:公共部门受精神启发的领导方式的表达:呼吁发展领导者的新范式
机译:跨两个嵌入式车辆系统对语音和手动电话呼叫以及语音导航输入的道路需求进行多模式评估
机译:基于模态和嵌入空格增强跨模态检索