第21届逻辑框架与元语言理论与实践研讨会会议录
Proceedings of the 21st Workshop on Logical Frameworks and Meta Languages: Theory and Practice
浏览论文内容
中文总结 AI 辅助
介绍第21届逻辑框架与元语言理论与实践研讨会会议录，其为第11届形式结构计算与演绎国际会议卫星会议，包含投稿论文，程序委员会由Olivier Hermant和Sophie Tourret主持，更多信息可通过特定网址获取。
中文摘要 AI 辅助
本卷《理论计算机科学电子会议录》（EPTCS）包含在2026年7月24日于葡萄牙里斯本举行的第21届逻辑框架与元语言理论与实践国际研讨会（LFMTP 2026）上发表的投稿论文，该研讨会是第11届形式结构计算与演绎国际会议（FSCD 2026）的卫星会议。本版LFMTP的程序委员会由Olivier Hermant和Sophie Tourret主持。更多关于LFMTP的信息可在该https网址找到。
英文摘要
This volume of the Electronic Proceedings in Theoretical Computer Science (EPTCS) includes the contributed papers presented at the 21st International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2026), in Lisbon, Portugal, on July 24th, 2026, at the Federated Logic Conference (FLoC 2026) as a satellite event of the 11th International Conference on Formal Structures for Computation and Deduction (FSCD 2026). The program committee for this edition of LFMTP was chaired by Olivier Hermant and Sophie Tourret. More information about LFMTP can be found on https://lfmtp.org.
