...
机译:协感恢复单声道:受保护的迭代和受保护的Elgot
Guarded iterationguarded monadscoalgebraic resumptions;
机译:完整的Elgot Monads和Coalgebraic恢复
机译:共感恢复单声道
机译:广义过程的受保护和不受保护的迭代
机译:归纳类型的保护从属类型理论
机译:路径功能依赖性和带计数的两个变量保护片段
机译:一种防护光管用于在N必油平台上的原发性巩膜屈曲期间直接可视化
机译:守护的Lambda-Calculus:带有守卫的编程和推理 共同类型的递归