海科·贝克尔 📧,贾斯敏·克里斯蒂安·布兰切特 📧,乌韦·沃尔德曼 📧和丹尼尔·旺德 📧
2016年11月12日
Lambda_自由_KBOs-AFP
@文章{Lambda_Free_KBOs-AFP,author={Heiko Becker和Jasmin Christian Blanchette以及Uwe Waldmann和Daniel Wand},title={Lambda的Knuth–Bendix订单的形式化-无高阶条款},journal={正式证据存档},月={11月},年份={2016年},注释={\url{https://isa-afp.org/entries/Lambda_Free_KBOs.html},形式证明开发},ISSN={2150-914x},}
旧版本: