Coercion as Proof Search in Dependent Type Semantics

Coercion as Proof Search in Dependent Type Semantics
复制标题

强制作为依赖类型语义中的证明搜索

DOI：
--
复制
发表时间：
2017
期刊：
Proceedings of Workshop on Approaches to Coercion and Polysemy (CoPo 2017)， University of Oslo， Norway.
影响因子：
--
通讯作者：
Eriko Kinoshita， Koji Mineshima， Daisuke Bekki
Eriko Kinoshita， Koji Mineshima， Daisuke Bekki
中科院分区：
--
文献类型：
--
作者：
福田 航;張 潮;東海 彰吾;Eriko Kinoshita， Koji Mineshima， Daisuke Bekki

文献摘要

相似文献