第十六届逻辑框架与元语言研讨会：理论与实践 会议论文集
计算机科学中的逻辑
2021-07-16 v1 人工智能
机器学习
编程语言
摘要
逻辑框架与元语言构成了表示、实现和推理逻辑与计算机科学中各种演绎系统的共同基础。它们的设计、实现及其在从软件正确性到形式系统性质等推理任务中的使用，在过去二十年中一直是大量研究的焦点。本次研讨会汇聚设计者、实现者和实践者，讨论影响逻辑框架结构与效用的各个方面，包括变量绑定的处理、归纳与余归纳推理技术，以及推理过程的表现力与清晰性。
引用
@article{arxiv.2107.07376,
title = {Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice},
author = {Elaine Pimentel and Enrico Tassi},
journal= {arXiv preprint arXiv:2107.07376},
year = {2021}
}