AI 中文总结
第21届逻辑与语义框架及其应用研讨会会议录发布，旨在推广从传统到前沿的相关技术成果，从实践角度提供整合、实现和使用这些方法及成果的反馈。
AI 中文摘要
本卷包含2026年7月18日至19日在葡萄牙里斯本举行的第21届逻辑与语义框架及其应用研讨会（LSFA 2026）的会议录。LSFA旨在推广从成熟的如lambda演算和类型理论到机器学习等前沿技术和成果，并从实践角度提供关于整合、实现和使用这些方法及成果的反馈。
英文摘要
This volume contains the proceedings of the 21st Workshop on Logical and Semantic Frameworks with Applications (LSFA 2026), held in Lisbon, Portugal, from July 18 to July 19, 2026. LSFA aims to promote techniques and results from the theoretical side, ranging from well-established ones such as lambda calculus and type theory to state-of-the-art ones such as machine learning, and provide feedback on integrating, implementing, and using such methods and results from the practical side.
Journal refEPTCS 449, 2026
