Logic and Computation

His work connected topology, lattice theory and logic with programming-language semantics, illustrating that theoretical contributions rarely reduce to a single algorithm.