搜索结果: 1-2 共查到“工学 Recursion”相关记录2条 . 查询时间(0.046 秒)
On Typability for Rank-2 Intersection Types with Polymorphic Recursion
Typability Rank-2 Intersection Types Polymorphic Recursion
font style='font-size:12px;'>
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...
Estimating Recursion Depth for Loop Subdivision
Loop surface subdivision recursion depth arbitrary topology bound
font style='font-size:12px;'>
2009/8/19
In this paper, an exponential bound of the distance between a Loop subdivision surface and its control mesh is derived based on the topological structure of the control mesh. The exponential bound is ...