spl-pi/-演算的完全抽象模型| IEEE会议出版物| IEEE Xplore