表征λ-β-ω-演算中的X可分性和单边可逆性| IEEE会议出版物| IEEE Xplore