机译:Stoughton代入Lambda微积分的构造类型理论的形式化
机译:带有显式替换的简单型Lambda微积分的健全性和完整性的形式化证明
机译:嵌套关系演算的良好定义和语义类型检查
机译:原子Lambda演算:具有明确共享的类型化Lambda演算。
机译:数据库查询语言的定义明确,语义类型检查和类型推断。
机译:含有碳水化合物:蛋白质Sm lambda的缺失的人lambda型免疫球蛋白轻链的一级结构。
机译:可用性:在输入的lambda结石中形式化(未定义)定义
机译:可用性:在Typed lambda演算中形式化(Un)定义