原名:A Geometry of Interaction and Game Semantics Tutorial by Laurent Regnier
作品简介:可逆抽象机（IAM）。操作员对程序/证明的解释。执行路径的代数表征。 beta-reduction 的本地化（共享图表）。乘法实验的推广。对追踪幺半群范畴的解释……
资源下载
包年VIP免费升级包年VIP
原名:A Geometry of Interaction and Game Semantics Tutorial by Laurent Regnier
作品简介:可逆抽象机（IAM）。操作员对程序/证明的解释。执行路径的代数表征。 beta-reduction 的本地化（共享图表）。乘法实验的推广。对追踪幺半群范畴的解释……
