Martin-Lof type theory; logical relations; parametricity; canonicity; quotient inductive types;
机译:胶合类型理论
机译:胶水还是不粘合在型式中进行解剖修复?
机译:用有限元法对杆式胶合榫的性能进行分析
机译:粘合类型理论
机译:用间隙填充的苯酚间苯二酚甲醛粘合剂对压力粘合和螺旋粘合的受压皮肤组件进行研究。
机译:种子和叶片大小之间的权衡(种子-植物-叶片理论):将再生与生命历史策略联系起来的功能胶…与生态学相结合的分类学?
机译:将证明环境粘合在一起:具有锁定的LF类理论的规范扩展