...
机译:期货的同时Lambda演算
Functional programming languages; Semantics; Concurrency;
机译:期货的同时Lambda演算
机译:通过lambda微积分居住在简单类型的lambda微积分中以进行证明搜索
机译:Lambda演算上下文的演算
机译:与期货的并发兰姆达微积分
机译:单调推理的λ演算。
机译:III阶段非小细胞肺癌的同步化学疗法:最近的进展和未来的观点(叙述审查)
机译:在具有缓冲区,单元格和期货的并发Lambda演算中并发抽象的程序等效项
机译:启动au Lambda-Calcul(启动为Lambda微积分)。