1) quantifier
[英]['kwɔntifaiə] [美]['kwɑntə,faɪɚ]
限量词
2) quantifier restriction
量词限定
3) auantified predicate
限量谓词
4) noun of quantity
限量名词
5) bounded quantification
有界量词限制
6) bounded quantification type
受限全称量词类型
1.
In order to build categorical semantic model of high_order subtyping, which distinguishes the different context and improve the introduction rule of bounded quantification type.
为研究高阶子类型的范畴论语义模型 ,区分了带高阶子类型的类型系统中的各种上下文 ,并简化其中的受限全称量词类型引入规则 ,而提出了类型系统λω×≤ 。
补充资料：如此江山 泛曲阿后湖 曲阿词综曲阿词综中，
【诗文】：
依依杨柳，青丝缕、掩映绿波南浦。燕掠横斜，鳞游荡漾，恰是湔裙时序。清泠如许。恍镜影空磨，簟痕密聚。欲问伊人，且自溯洄前渚。并倚木阑无语。到来还、远树遥山，凝眸同睹。雁齿参差，＊流逦迤，多少鸥群鸳侣。最饶闲趣。且酒斟绿蚁，玉杯时举。＊乃一声，移入柳阴深处。西半夜惊罗一首，乃黄 词。 眼儿媚萧萧江上荻花秋一首，乃张孝祥词。堞恋花越女采莲秋水畔一首，乃欧阳修词。相见欢无言独上西楼一首，
【注释】：
【出处】：
依依杨柳，青丝缕、掩映绿波南浦。燕掠横斜，鳞游荡漾，恰是湔裙时序。清泠如许。恍镜影空磨，簟痕密聚。欲问伊人，且自溯洄前渚。并倚木阑无语。到来还、远树遥山，凝眸同睹。雁齿参差，＊流逦迤，多少鸥群鸳侣。最饶闲趣。且酒斟绿蚁，玉杯时举。＊乃一声，移入柳阴深处。西半夜惊罗一首，乃黄 词。 眼儿媚萧萧江上荻花秋一首，乃张孝祥词。堞恋花越女采莲秋水畔一首，乃欧阳修词。相见欢无言独上西楼一首，
【注释】：
【出处】：
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条