Ordered Sets and Complete Lattices
暂无分享,去创建一个
[1] Liz Sonenberg,et al. Fixed Point Theorems and Semantics: A Folk Tale , 1982, Inf. Process. Lett..
[2] Abbas Edalat,et al. Domains for Computation in Mathematics, Physics and Exact Real Arithmetic , 1997, Bulletin of Symbolic Logic.
[3] G. Markowsky. Chain-complete posets and directed sets with applications , 1976 .
[4] Andrew William Roscoe,et al. The Theory and Practice of Concurrency , 1997 .
[5] Bjarni Jónsson,et al. A Survey of Boolean Algebras with Operators , 1993 .
[6] M. de Rijke,et al. Modal Logic and Process Algebra , 1995 .
[7] Roland Carl Backhouse,et al. Categorical Fixed Point Calculus , 1995, Category Theory and Computer Science.
[8] J. Rutten. A calculus of transition systems (towards universal coalgebra) , 1995 .
[9] R. McKenzie,et al. Algebras, Lattices, Varieties , 1988 .
[10] K. Hofmann,et al. A Compendium of Continuous Lattices , 1980 .
[11] C. j. Aarts,et al. Galois Connections Presented Calculationally , 1992 .
[12] Chris Brink,et al. A paradigm for program semantics - power structures and duality , 2001, Studies in logic, language and information.
[13] J. Davenport. Editor , 1960 .
[14] S. Lane. Categories for the Working Mathematician , 1971 .
[15] L. Beran,et al. [Formal concept analysis]. , 1996, Casopis lekaru ceskych.
[16] Samson Abramsky,et al. Domain theory , 1995, LICS 1995.