机译:自然语言的Lambda演算模型的静态和动态矢量语义
Vector Semanticstruth conditional meaninglambda calculusdynamic logiccontext potential update;
机译:Lambda微积分,类型理论和自然语言II
机译:Montagovian生成式词汇Lambda Ty_n:自然语言语义的类型理论框架
机译:NoSQL语言的静态和动态语义
机译:使用答案集编程和Lambda Calculus以规范和例外表征自然语言句子
机译:用于自然语言处理的反Lambda演算算法。
机译:大型dsDNA病毒和细小病毒的全蛋白质组系统发育
机译:Lambda演算语言的融合和语义完全抽象