...
机译:带构造函数的类型化Lambda演算的语义
机译:使用Letrec,Case,构造函数和Seq在按需调用Lambda演算中进行仿真
机译:通过lambda微积分居住在简单类型的lambda微积分中以进行证明搜索
机译:具有字幕到图像语义构造函数的神经图像字幕模型
机译:具有构造函数的Lambda微积分的多态类型系统
机译:数据库查询语言的定义明确,语义类型检查和类型推断。
机译:人造化学中通用构造函数架构的演变证明了语义封闭
机译:带有构造函数的类型lambda-calculus的语义
机译:具有de Bruijn指数的精细lambda-Calculus的语义