Domain theory, logic and computation : proceedings of the 2nd international symposium on domain theory, Sichuan, China, October 2001. : ISDT 2001 : Oct 2001, Chengdu, China. (Semantic Structures in Computation ; 3)
Domain theory, logic and computation : proceedings of the 2nd international symposium on domain theory, Sichuan, China, October 2001. : ISDT 2001 : Oct 2001, Chengdu, China.