One of the pioneers of denotational semantics, British computer scientist Christopher Strachey, developed an automated draughts bot in 1951 (the word “draughts” is British for “checkers”). Artificial intelligence, or AI as everyone likes to call it, was used for the
→