第六届逻辑框架与元语言国际研讨会论文集：理论与实践
计算机科学中的逻辑
2011-11-01 v1 编程语言
摘要
本卷构成了 LFMTP 2011（第六届逻辑框架与元语言国际研讨会：理论与实践）的论文集。LFMTP 系列研讨会汇集了设计者、实现者和实践者，共同讨论逻辑框架和元语言结构的各个方面，这些结构影响着它们在表示、实现和推理逻辑与计算机科学中广泛关注的各种演绎系统时的应用。LFMTP 2011 于 2011 年 8 月 26 日在荷兰奈梅亨举行，作为与 ITP 2011（第二届交互式定理证明国际会议）关联的研讨会。其议程包括投稿报告和邀请报告，并与 MLPA 11（第三届证明助手模块与库研讨会）的议程整合。本论文集仅包含被接受在研讨会上展示的投稿论文。每篇论文均基于程序委员会三位成员的评审意见被录用。作者随后有机会根据评审意见以及在研讨会展示期间获得的反馈修改其投稿。
引用
@article{arxiv.1110.6685,
title = {Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice},
author = {Herman Geuvers and Gopalan Nadathur},
journal= {arXiv preprint arXiv:1110.6685},
year = {2011}
}