Login / Signup

Fibrations理论在索引归纳数据类型不确定语义中的应用 (Applications of Fibrations Theory to Uncertainty Semantic Computation for Indexed Inductive Data Types).

Decheng MiaoJianqing XiXinsheng LiuJindian Su
Published in: 计算机科学 (2017)
Keyphrases