Author:
Xi Xiaoyong,He Qingyu,Lu Zhijun
Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Geometry and Topology,Algebra and Number Theory
Reference7 articles.
1. Jung, A.: Cartesian closed categories of domains. CWI Tracts, 66, Centrum voor Wiskunde en Informatica, Amsterdam (1989)
2. Berry, G.: Stable models of typed λ-calculi. Lect. Notes Comput. Sci. 62, 72–88 (1978)
3. Michael, W.: Mislove, Topology, domain theory and theoretical computer science. Topol. Its Appl. 89, 3–59 (1998)
4. Plotkin, G.D., A powerdomain construction. SIAM J. Comp. 5, 452–487 (1976)
5. Smyth, M.B.: The largest Cartesian closed category of domains. Theor. Comput. Sci. 27, 109–119 (1983)