算子代数中lambda演算解释的一些结果| IEEE会议出版物| IEEE Xplore