第十四届逻辑框架与元语言研讨会：理论与实践 会议论文集
计算机科学中的逻辑
2019-10-22 v1
摘要
本卷收录了在加拿大温哥华于 2019 年 6 月 22 日举行的第十四届逻辑框架与元语言：理论与实践国际研讨会（LFMTP 2019）上展出的一部分论文。该研讨会附属于第三十四届 ACM/IEEE 计算机科学逻辑研讨会（LICS）。逻辑框架与元语言构成了表示、实现和推理逻辑与计算机科学中各类演绎系统的通用基础。其设计、实现及在从软件正确性到形式系统性质等推理任务中的使用，在过去二十年中一直是大量研究的焦点。本次研讨会将汇聚设计者、实现者与使用者，讨论影响逻辑框架结构与效用的各个方面，包括变量绑定的处理、归纳与余归纳推理技术，以及推理过程的表现力与清晰性。
引用
@article{arxiv.1910.08712,
title = {Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice},
author = {Dale Miller and Ivan Scagnetto},
journal= {arXiv preprint arXiv:1910.08712},
year = {2019}
}