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翻译中