摘要：构造性模态逻辑中的加里-霍华德对应关系及其赢得策略的差异研究。
作者：Matteo Acclavio, Davide Catta, Federico Olimpieri
论文ID：2304.05465
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-08-01
PDF 下载： 英文版 中文版pdf翻译中