archives

Lattices - Partial orders with infimum and supremum

Some weeks ago I blogged about order structure and lemmas which can be proved within Modern Eiffel.

Today I have published a continuation which talks about lattices and some lemmas about lattice theory.

By hbrandl at 2012-07-16 13:55 | LtU Forum | 5 comments | other blogs | 5138 reads