Cornell University.;
机译:ITE:建设性逻辑运营商分层推理的轻量级实现
机译:笛卡尔立体计算类型理论:带有路径和等式的建构性推理
机译:联合,交集和细化类型以及有关安全协议实现的类型不相交的推理
机译:实现基于类型的构造否定
机译:反对一种方法:在美国以佛教为基础的沉思程序的适应和实施的批判性建设方法
机译:自动化虚拟2型糖尿病自动化教育的实施和有效性的糖尿病订婚和激活平台:随机对照试验
机译:内在推理与平等互动的对话谱系与建构型理论中的平等观念
机译:建设性授权逻辑中的主中心推理