丹尼斯·贝切特 亚历山大·贾。迪科夫斯基 安妮·福雷特 具有迭代类型的范畴语法形成了k值语言的严格层次结构。 42-52 2011 CIAA公司 https://doi.org/10.1007/978-3-642-22256-6_5 conf/wia/2011年 db/conf/wia/ciaa2011.html#BechetDF11