Samson Abramsky on Logic and Structure in Computer Science and Beyond