基于一阶谓词和范畴论的形状与形状型

卢素魁

Shape and Shape Type Based on the First Order Predicate and Category Theory

LU Su-kui

河北大学学报(自然科学版) . 2010, (3): 323 -326 . DOI: 10.3969/j.issn.1000-1565.2010.03.021