Lambda-Calculus; Full laziness; Deep inference; Curry-Howard;
机译:通过lambda微积分居住在简单类型的lambda微积分中以进行证明搜索
机译:关于λ - 微积分的随机策略
机译:无型计算λ - 微积分及其交叉型纪律
机译:原子λ - 微积分:一种具有明确分享的类型的λ - 微积分
机译:BDNF鞘内植入微型泵向腰脊髓鞘内递送恢复步进,并调节大型脊髓损伤动物模型中的腰椎间神经元的活性。
机译:非接触原子力显微镜对金红石型TiO2(110)-(1×2)重建表面的原子分辨率成像
机译:脊柱原子λ - 微积分