CIRCLE WITH A DOT

Lecturer at the University of Kent. Interested in Haskell, FP, dependent types, sequent calculus and computational classical logic. Dabbling in the history of logic. Website: binderdavid.github.io