PER模型相关论文
音乐表演焦虑(MPA),是指与音乐表演相关的显著和持续焦虑、忧虑的体验,通过表演者的情感、认知、躯体症状和行为症状的组合表现出来。......
该文就是尝试构建一个带继承的类型做出解释.该文的研究是在ω′λx, 并且用范畴论中的一个非常有用的模型-PER模型来对它做出解释......
该文提出带高阶子类型的多态类型系统λω×,它是[Cro193]的类型系统λω×的扩充,为一般算子引入了子类型关系,并结合多态性使用......
类型系统是近年来理论计算机科学的研究热点之一.1999年周晓聪曾在文献[1]中提出并研究了类型系统λω×≤及其性质.类型系统λω......
黑大蜜蜂是蜜蜂属的一个重要种,营露天生活,具有一定的迁徙特性。东、西方蜜蜂的学习与记忆研究一直被广泛地应用,而黑大蜜蜂的学习与......
类型系统是近年来理论计算机科学的研究热点之一,1999年周晓聪曾在文献[1]中提出并研究了类型系统λω×≤及其性质,类型系统λω×......
大蜜蜂是蜜蜂属的一个重要种,与东西方蜜蜂不同,大蜜蜂营露天生活,并具有迁徙特性。东西方蜜蜂的学习与记忆研究已经取得了许多成......