
@Book{ GierzHofmannKeimelLawsonMisloveScott,
Author = "Gierz, G. and Hofmann, K. H. and Keimel, K. and Lawson, J. D. and Mislove, Michael and Scott, Dana",
date-added = "2020-04-10 11:07:26 +0200",
date-modified = "2020-04-10 11:07:27 +0200",
Keywords = "formal semantics and domain theory and lattice theory",
Publisher = "Cambridge University Press",
Title = "Continuous Lattices and Domains",
Year = "2003",
File = "Continuous Lattices and Domains - Gierz, Hofmann, Keimel, Lawson, Mislove, Scott (0) (0) - a - a.pdf"
}
@Book{ GierzHofmannKeimelLawsonMisloveScott,
Author = "Gierz, G. and Hofmann, K. H. and Keimel, K. and Lawson, J. D. and Mislove, Michael and Scott, Dana",
date-added = "2020-04-10 11:07:26 +0200",
date-modified = "2020-04-10 11:07:27 +0200",
Keywords = "formal semantics and domain theory and lattice theory",
Publisher = "Cambridge University Press",
Title = "Continuous Lattices and Domains",
Year = "2003",
File = "Continuous Lattices and Domains - Gierz, Hofmann, Keimel, Lawson, Mislove, Scott (0) (0) - a - a.pdf"
}