简单类型的 Lambda 演算模类型同构 电子书下载

原名:Simply Typed Lambda-Calculus Modulo Type Isomorphisms
作品简介:目标是识别同构类型。亚历杭德罗·迪亚斯·卡罗和吉尔斯·道维克。简单类型的 Lambda 演算模类型同构 -……