海量图书期刊资源，随时随地畅享阅读乐趣
[IEEE 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) - Chicago, IL, USA (26-29 June 2005)] 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) - Operational Domain Theory and Topology of a Sequential Programming LanguageEscardo, M.; Ho Weng Kin, · 2005