搜索结果: 1-1 共查到“计算机科学技术 Typability”相关记录1条 . 查询时间(0.046 秒)
On Typability for Rank-2 Intersection Types with Polymorphic Recursion
Typability Rank-2 Intersection Types Polymorphic Recursion
2016/5/24
We show that typability for a natural form of polymorphic recursive typing for rank-2 intersection types is undecidable. Our proof involves characterizing typability as a context free language (CFL) g...