搜索结果: 1-1 共查到“可计算性理论 Subtyping Constraints”相关记录1条 . 查询时间(0.078 秒)
First-Order Theory of Subtyping Constraints
First-Order Theory Subtyping Constraints
font style='font-size:12px;'>
2016/5/24
We investigate the first-order theory of subtyping constraints.We show that the first-order theory of nonstructural subtyping is undecidable, and we show that in the case where all constructors are ei...