[[!redirects Martín Hötzel Escardó]] [Homepage](http://www.cs.bham.ac.uk/~mhe/) category: people