超市、排名函数和概率Lambda演算| IEEE会议出版物| IEEE Xplore