Institute of Informatics, Warsaw University, ul. Banacha 2, 02-097 Warsaw, Poland;
机译:通过lambda微积分居住在简单类型的lambda微积分中以进行证明搜索
机译:使用AGDA的建设性型理论中简单类型的Lambda微积分的强烈标准化
机译:简单类型的Lambda微积分的语义评估,交叉类型和复杂性
机译:简单类型的Lambda微积分中的自依赖性约束
机译:单调推理的λ演算。
机译:含有碳水化合物:蛋白质Sm lambda的缺失的人lambda型免疫球蛋白轻链的一级结构。
机译:简单类型lambda演算中的自依赖性约束