第18届逻辑框架与元语言国际研讨会:理论与实践 会议论文集
计算机科学中的逻辑
2023-11-17 v1 编程语言
摘要
逻辑框架与元语言构成了表示、实现和推理逻辑与计算机科学中各类演绎系统的公共基础。过去二十年来,它们的设计、实现及其在从软件正确性到形式系统性质等推理任务中的使用,一直是大量研究的焦点。本次研讨会汇聚设计者、实现者与使用者,讨论影响逻辑框架结构与效用的各个方面,包括变量绑定的处理、归纳与余归纳推理技术,以及推理过程的表现力与清晰性。
引用
@article{arxiv.2311.09918,
title = {Proceedings of the 18th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice},
author = {Alberto Ciaffaglione and Carlos Olarte},
journal= {arXiv preprint arXiv:2311.09918},
year = {2023}
}
备注
This volume contains the proceedings of the workshop Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'23)