...
机译:代数构造微积分中的归纳类型
LORIA & INRIA, 615 rue du Jardin Botanique, BP 101, 54602 Villers-les-Nancy, France;
机译:关于归纳微积分中模态微积分的形式化
机译:(共)归纳构造微积分的双向细化算法
机译:用于归纳结构演算的紧凑内核
机译:代数构造微积分中的归纳类型
机译:关于Hopf代数类型和有理演算分解。
机译:代数几何中的残差计算和一些超越结果,I
机译:代数结构微积分中的归纳类型
机译:在建构微积分中形式化过程代数验证