Natural language processing Dave, although you took very thorough precautions in the pod against my hearing you, I could see your lips move. 2018-01-11 – 2020-10-01

Models of computation Turing machines, λ-calculus, term-rewriting and other models of what may be computed. 2017-06-18 – 2017-06-18