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