37 thoughts
last posted Jan. 23, 2018, 10:28 a.m.

25 earlier thoughts


TIL about a Cousot et Cousot paper on Galois Connections ... well, actually it's (as one might guess from the topic?) a pair of papers: one of which is the expanded concrete representation, the other of which is a compressed (albeit still containing most of the important bits) abstract representation.

11 later thoughts