B的另一个深度嵌入:扩展de Bruijn符号

摘要:Bicoq3:B系统在Coq中的深度嵌入的技术方面的研究

作者:Eric Jaeger (LIP6, Dcssi/SDS/Lti), Th''er`ese Hardin (LIP6)

论文ID:0902.3865

分类:Logic in Computer Science

分类简称:cs.LO

提交时间:2009-02-24

PDF 下载: 英文版 中文版pdf翻译中