[philzook]

I think you are not doing this line of work justice.

Lattices like intervals or sets of values or zero/nonzero are typical and natural even without studying lots of theory.

I believe this paper is about how you can use the concept of a particular kind of lattice to give a rigorous mathematical semantics to possibly non terminating computations such as the untyped lambda calculus. This was not at all obvious before Scott. I don't feel qualified to comment much beyond that.

I suppose this is related to the simpler examples of lattices, but it's quite a feat.

[almostgotcaught]

I didn't recognize the name but then I went to the paper and realized this is one of the papers that establishes a model (as in model theory) for untyped lambda calculus. I knew about the result but not the author's name (nor the name of the paper). Ok I retract some of my cynicism. Still not very overwhelmed though by the gravity of the result. I'm not one of those people that worships Church ie I'm aware of all of the stuff people manage to prove with lambda calculi but I've yet to see any practical value (so we arrive at an actually negative answer to op's question).