Context-Passing and Underspecification in Dependent Type Semantics
Context-Passing and Underspecification in Dependent Type Semantics
复制标题
依赖类型语义中的上下文传递和不规范
DOI：
--
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Daisuke Bekki， Koji Mineshima
中科院分区：
文献类型：
--
作者：
Nakamura;Ayako. Mineshima;Koji. Bekki;Daisuke.;中村絢子. 峯島宏次. 戸次大介.;Mihoko Otake， Koji Mineshima， Daisuke Bekki;Daisuke Bekki， Koji Mineshima
