机译:Coq中的构造代数层次
Department of Computer Science, Nijmegen University, The Netherlands;
机译:层次结构建设者:代数层次结构在COQ方面搭配ELPI(系统说明)
机译:Coq建构型理论中的常规语言表征。
机译:Coq建构型理论中的规则语言表示
机译:在Coq中使用类型类开发代数层次结构
机译:最佳分层综合的建设性建模策略和实施框架。
机译:关于离散可交换代数构造理论的基础(第二篇论文)
机译:Coq中的构造性代数层次
机译:逆向工程:建构性solid211几何的代数边界表示