User talk:Michel Schellekens

Applications that use lattice theory
Hi! I saw that you tried to improve the section "Applications that use lattice theory" of the article Lattice (order), but apparently had problems with the markup language syntax, and problems to find appropriate pages to link to. For the first issue, I recommend the page Help:Wiki markup. More generally, the page Editor's index to Wikipedia contains a link to virtually everything a Wikipedia editor wants to know. For the second issue, I'd recommend the "Search" window (which appears in the top right corner in my browser). Wikipedia's search engine is less pedantic about e.g. capitalization: a search for "Domain Theory" reveals that a page "Domain theory" already exists (I meanwhile fixed that redlink in Lattice (order)). A search for "semantics lattice" found e.g. Abstract interpretation, Knaster–Tarski theorem, Scott continuity, Predicate transformer semantics. There are also Scott domain and Denotational semantics. However, I feel unable to decide which of the existing page would be most appropriate as target of a link from "Lattice (order)". &mdash; Best regards, Jochen Burghardt (talk) 14:52, 18 June 2014 (UTC)