%0 Book %1 Girez:2003 %A Gierz, G. %A Hofmann, K. H. %A Keimel, K. %A Lawson, J. D. %A Mislove, M. %A Scott, D. S. %A Rota, G.-C. %D 2003 %I Cambridge University Press %K Topologie Verbände %T Continuous Lattices and Domains %U http://slub.eblib.com/patron/FullRecord.aspx?p=217793 %X Information content and programming semantics are just two of the applications of the mathematical concepts of order, continuity and domains. This authoritative and comprehensive account of the subject will be an essential handbook for all those working in the area. %@ 9780511072024 0511072023

@book{Girez:2003, abstract = {Information content and programming semantics are just two of the applications of the mathematical concepts of order, continuity and domains. This authoritative and comprehensive account of the subject will be an essential handbook for all those working in the area.}, added-at = {2013-02-02T14:41:06.000+0100}, author = {Gierz, G. and Hofmann, K. H. and Keimel, K. and Lawson, J. D. and Mislove, M. and Scott, D. S. and Rota, G.-C.}, biburl = {https://www.bibsonomy.org/bibtex/2c8ccfca608fe662da73a66fe9f168157/ks-plugin-devel}, description = {Cover.- Half-title.- Series-title.- Title.- Copyright.- Contents.- Preface.- Acknowledgments.- Foreword to A Compendium of Continuous Lattices.- Introduction to A Compendium of Continuous Lattices.- O A Primer on Ordered Sets and Lattices.- I Order Theory of Domains.- II The Scott Topology.- III The Lawson Topology.- IV Morphisms and Functors.- V Spectral Theory of Continuous Lattices.- VI Compact Posets and Semilattices.- VII Topological Algebra and Lattice Theory: Applications.- Bibliography.- List of Symbols.- List of Categories.- Index}, groups = {public}, interhash = {a600669271ac85bf090a1f32ea572a7f}, intrahash = {c8ccfca608fe662da73a66fe9f168157}, isbn = {9780511072024 0511072023}, keywords = {Topologie Verbände}, publisher = {Cambridge University Press}, timestamp = {2013-02-02T14:41:06.000+0100}, title = {Continuous Lattices and Domains}, url = {http://slub.eblib.com/patron/FullRecord.aspx?p=217793}, username = {keinstein}, year = 2003 }