Funder
Natural Science Foundation of China
Natural Science Foundation of Hunan Province
Reference24 articles.
1. Domain theory;Abramsky,1994
2. Stable models of typed λ-calculi;Berry,1978
3. The way-below relation of function spaces over semantic domains;Erker;Topol. Appl.,1998
4. Continuous Lattices and Domains;Gierz,2003
5. All Cartesian closed categories of quasicontinuous domains consist of domains;Jia;Theor. Comput. Sci.,2015