机译:通过lambda微积分居住在简单类型的lambda微积分中以进行证明搜索
机译:使用AGDA的建设性型理论中简单类型的Lambda微积分的强烈标准化
机译:简单类型的Lambda微积分的语义评估,交叉类型和复杂性
机译:具有一流环境的简单类型的上下文微积分
机译:一流模块的逐步打字
机译:通往一流研究机构的道路:创造卓越的环境招募杰出的科学家制作具有高影响力的作品以及培育创新文化— 60周年特刊的序言
机译:具有一流环境的简单类型上下文演算
机译:VEsT:数学中的抽象矢量微积分简化。