中文

第21届逻辑框架与元语言：理论与实践研讨会论文集

计算机科学中的逻辑 2026-07-11 v1 形式语言与自动机理论 编程语言
作者: Sophie Tourret , Olivier Hermant
在 arXiv 上查看 ↗ PDF ↗ DOI ↗

摘要

本卷《理论计算机科学电子论文集》（EPTCS）收录了第21届国际逻辑框架与元语言：理论与实践研讨会（LFMTP 2026）的投稿论文，该研讨会于2026年7月24日在葡萄牙里斯本举行，作为第11届计算与演绎形式结构国际会议（FSCD 2026）的卫星活动，隶属于2026年联合逻辑会议（FLoC 2026）。本届LFMTP的程序委员会由Olivier Hermant和Sophie Tourret担任主席。关于LFMTP的更多信息可在https://lfmtp.org上找到。

关键词

logical frameworks meta-languages theorem proving formal verification type theory workshop proceedings

引用

@article{arxiv.2607.10318,
  title  = {Proceedings of the 21st Workshop on Logical Frameworks and Meta Languages: Theory and Practice},
  author = {Sophie Tourret and Olivier Hermant},
  journal= {arXiv preprint arXiv:2607.10318},
  year   = {2026}
}