原名:calculus modulo theory. From a practical and a theoretical viewpoint by Guillaume Genestier
作品简介:λΠ-微积分模理论中的终止检查。从实践和理论的角度来看。纪尧姆·热内斯蒂尔. 2017年4月24日至8月4日。 [CD07]。 Dedukti 项目由 Gilles Dowek 发起，并由 .. 开发。重写规则有所有限制，这些限制是……
资源下载
VIP免费升级VIP
原名:calculus modulo theory. From a practical and a theoretical viewpoint by Guillaume Genestier
作品简介:λΠ-微积分模理论中的终止检查。从实践和理论的角度来看。纪尧姆·热内斯蒂尔. 2017年4月24日至8月4日。 [CD07]。 Dedukti 项目由 Gilles Dowek 发起，并由 .. 开发。重写规则有所有限制，这些限制是……
