皮埃尔·克莱兰堡 游戏语义中的强仿函数和交错不动点。 （英语） Zbl 1302.03072号 西奥·雷罗。通知。申请。 47，第1期，25-68页（2013年）. 本文发展了归纳型和共归纳型的序列演算，并赋予其简化规则，以便对哥德尔系统（T）进行合理的翻译。作者介绍了微积分的范畴模型，并基于Hyland-Ong游戏语义构建了一个具体实例。证明了该模型的弱完备性结果，为微积分提供了规范化证明。审核人：Răzvan Diaconescu（普洛伊斯蒂） 引用于1文件 MSC公司： 05年3月 切割消除和正规形定理 03G30型 分类逻辑，拓扑 18立方厘米 理论（例如代数理论）、结构和语义 关键词：博弈语义;强函子;初始代数;末端余代数;归纳类型;共导类型 PDF格式BibTeX公司 XML格式引用 \textit{P.Clairambault}，RAIRO，Theor。通知。申请。47，第1号，第25--68号（2013；Zbl 1302.03072） 全文： 内政部 链接