原名:A Functorial Bridge between the Infinitary Affine Lambda-Calculus and Linear Logic
作品简介:1 CNRS，UMR 7030，LIPN，巴黎第十三大学，巴黎索邦大学。达米亚诺空间3，其柯西完成，用Λaff表示。……
资源下载
VIP免费升级VIP
原名:A Functorial Bridge between the Infinitary Affine Lambda-Calculus and Linear Logic
作品简介:1 CNRS，UMR 7030，LIPN，巴黎第十三大学，巴黎索邦大学。达米亚诺空间3，其柯西完成，用Λaff表示。……
