论文标题
会议记录第16届逻辑和语义框架与应用程序
Proceedings 16th Logical and Semantic Frameworks with Applications
论文作者
论文摘要
该卷包含具有应用程序的第十六逻辑和语义框架的后录（LSFA 2021）。该会议于2021年7月23日至24日在线举行，由阿根廷的布宜诺斯艾利斯大学组织。 LSFA旨在使研究人员和学生对逻辑和语义框架及其应用的理论和实际方面感兴趣。涵盖的主题包括证明理论，类型理论和重写理论，规范和推论语言以及语言和系统的正式语义。
This volume contains the post-proceedings of the Sixteenth Logical and Semantic Frameworks with Applications (LSFA 2021). The meeting was held online on July 23-24, 2021, organised by the Universidad de Buenos Aires, Argentina. LSFA aims to bring researchers and students interested in theoretical and practical aspects of logical and semantic frameworks and their applications. The covered topics include proof theory, type theory and rewriting theory, specification and deduction languages, and formal semantics of languages and systems.
